Index: lib/devtools.js |
=================================================================== |
--- a/lib/devtools.js |
+++ b/lib/devtools.js |
@@ -14,23 +14,24 @@ |
* You should have received a copy of the GNU General Public License |
* along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
*/ |
"use strict"; |
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"); |
+ ElemHideFilter} = require("../adblockpluscore/lib/filterClasses"); |
+const {SpecialSubscription} = |
+ require("../adblockpluscore/lib/subscriptionClasses"); |
+const {FilterStorage} = require("../adblockpluscore/lib/filterStorage"); |
+const {defaultMatcher} = require("../adblockpluscore/lib/matcher"); |
+const {FilterNotifier} = require("../adblockpluscore/lib/filterNotifier"); |
+const {extractHostFromFrame} = require("./url"); |
+const {port} = require("./messaging"); |
const nonRequestTypes = ["DOCUMENT", "ELEMHIDE", "GENERICBLOCK", "GENERICHIDE"]; |
// Mapping of inspected tabs to their devpanel page |
// and recorded items. We can't use a PageMap here, |
// because data must persist after navigation/reload. |
let panels = new Map(); |