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