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