| 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", "CSP"]; | 
| let panels = new Map(); | 
| function isActivePanel(panel) | 
| { |