| Index: webrequest.js | 
| =================================================================== | 
| --- a/webrequest.js | 
| +++ b/webrequest.js | 
| @@ -18,6 +18,7 @@ | 
| var FilterNotifier = require("filterNotifier").FilterNotifier; | 
| var RegExpFilter = require("filterClasses").RegExpFilter; | 
| var platform = require("info").platform; | 
| +var logRequest = require("devtools").logRequest; | 
|  | 
| var onFilterChangeTimeout = null; | 
| function onFilterChange() | 
| @@ -77,7 +78,9 @@ | 
| showNotification(notificationToShow); | 
| } | 
|  | 
| +  logRequest(page, url, type, docDomain, key, filter); | 
| FilterNotifier.triggerListeners("filter.hitCount", filter, 0, 0, page); | 
| + | 
| return !(filter instanceof BlockingFilter); | 
| } | 
|  | 
|  |