Index: ext/devtools.js |
diff --git a/ext/devtools.js b/ext/devtools.js |
index 42c692e668e87acf27ff75e2e6ba7af86cfd1476..4130174b3f352a44d8ec596fa7d9a588fe8a083d 100644 |
--- a/ext/devtools.js |
+++ b/ext/devtools.js |
@@ -24,11 +24,11 @@ |
global.ext.devtools = { |
panels: { |
- openResource: function() {} |
+ openResource() {} |
}, |
inspectedWindow: { |
- reload: function() {} |
+ reload() {} |
} |
}; |