Index: lib/devtools.js |
=================================================================== |
--- a/lib/devtools.js |
+++ b/lib/devtools.js |
@@ -125,27 +125,30 @@ |
* @param {string} type The request type |
* @param {string} docDomain The IDN-decoded hostname of the document |
* @param {boolean} thirdParty Whether the origin of the request and |
* document differs |
* @param {?string} sitekey The active sitekey if there is any |
* @param {?boolean} specificOnly Whether generic filters should be ignored |
* @param {?BlockingFilter} filter The matched filter or null if there is no |
* match |
+ * @param {?string} rewrittenTo The query URL was rewritten to this new URL |
*/ |
exports.logRequest = function(tabIds, url, type, docDomain, |
thirdParty, sitekey, |
- specificOnly, filter) |
+ specificOnly, filter, rewrittenTo) |
{ |
for (let tabId of tabIds) |
{ |
let panel = getActivePanel(tabId); |
if (panel) |
{ |
- let request = {url, type, docDomain, thirdParty, sitekey, specificOnly}; |
+ let request = { |
+ url, type, docDomain, thirdParty, sitekey, specificOnly, rewrittenTo |
+ }; |
addRecord(panel, request, filter); |
} |
} |
}; |
/** |
* Logs active element hiding filters to the devtools panel. |
* |