| 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() {} |
| } |
| }; |