| Index: ext/devtools.js |
| diff --git a/ext/devtools.js b/ext/devtools.js |
| index 42c692e668e87acf27ff75e2e6ba7af86cfd1476..2dc77b399395cd141dfa22a40c83bd1632aaa9b4 100644 |
| --- a/ext/devtools.js |
| +++ b/ext/devtools.js |
| @@ -17,20 +17,17 @@ |
| "use strict"; |
| -(function(global) |
| -{ |
| - if (!global.ext) |
| - global.ext = {}; |
| +if (typeof ext == "undefined") |
| + window.ext = {}; |
| - global.ext.devtools = { |
| - panels: { |
| - openResource: function() {} |
| - }, |
| +window.ext.devtools = { |
| + panels: { |
| + openResource() {} |
| + }, |
| - inspectedWindow: { |
| - reload: function() {} |
| - } |
| - }; |
| + inspectedWindow: { |
| + reload() {} |
| + } |
| +}; |
| - global.ext.backgroundPage._sendRawMessage({type: "devtools"}); |
| -})(this); |
| +window.ext.backgroundPage._sendRawMessage({type: "devtools"}); |