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