Index: lib/devtools.js
diff --git a/lib/devtools.js b/lib/devtools.js
index 2fdf5ec8ccde7a433a87bbac8e844519b33fb528..89c50d4342816f4072cae2225c20d63fb6e44bd7 100644
--- a/lib/devtools.js
+++ b/lib/devtools.js
@@ -17,13 +17,13 @@
 
 "use strict";
 
-let {RegExpFilter, WhitelistFilter, ElemHideFilter} = require("filterClasses");
-let {SpecialSubscription} = require("subscriptionClasses");
-let {FilterStorage} = require("filterStorage");
-let {defaultMatcher} = require("matcher");
-let {FilterNotifier} = require("filterNotifier");
-let {extractHostFromFrame} = require("url");
-let {port} = require("messaging");
+const {RegExpFilter, WhitelistFilter, ElemHideFilter} = require("filterClasses");
+const {SpecialSubscription} = require("subscriptionClasses");
+const {FilterStorage} = require("filterStorage");
+const {defaultMatcher} = require("matcher");
+const {FilterNotifier} = require("filterNotifier");
+const {extractHostFromFrame} = require("url");
+const {port} = require("messaging");
 
 const nonRequestTypes = ["DOCUMENT", "ELEMHIDE", "GENERICBLOCK", "GENERICHIDE"];