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"}); |