Index: chrome/ext/devtools.js |
diff --git a/chrome/ext/devtools.js b/chrome/ext/devtools.js |
index e7093d54e876297e2236eca488773314782b14c8..dbc9738c7254d3afa3fc0d26247d9cd1a41b0909 100644 |
--- a/chrome/ext/devtools.js |
+++ b/chrome/ext/devtools.js |
@@ -17,11 +17,10 @@ |
"use strict"; |
-(function() |
{ |
- var inspectedTabId = chrome.devtools.inspectedWindow.tabId; |
- var port = chrome.runtime.connect({name: "devtools-" + inspectedTabId}); |
+ let inspectedTabId = chrome.devtools.inspectedWindow.tabId; |
+ let port = chrome.runtime.connect({name: "devtools-" + inspectedTabId}); |
ext.onMessage = port.onMessage; |
ext.devtools = chrome.devtools; |
-})(); |
+} |