Index: lib/devtools.js |
=================================================================== |
--- a/lib/devtools.js |
+++ b/lib/devtools.js |
@@ -110,17 +110,16 @@ |
} |
function matchRequest(request) |
{ |
return defaultMatcher.matchesAny( |
request.url, |
RegExpFilter.typeMap[request.type], |
request.docDomain, |
- request.thirdParty, |
request.sitekey, |
request.specificOnly |
); |
} |
function onBeforeRequest(details) |
{ |
let panel = panels.get(details.tabId); |