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