| 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); |