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"]; |