Issue 6622 - Implement $rewrite filter option

lib/devtools.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-present eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 112 matching lines @@
  * @param {number[]} tabIds        The tabIds associated with the request
  * @param {string}   url           The URL of the request
  * @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.
  *
  * @param {number}   tabId      The ID of the tab, the elements were hidden in
  * @param {string[]} selectors  The selectors of applied ElemHideFilters
@@ skipping 223 matching lines @@
   panels.set(inspectedTabId, {port: newPort, records: []});
 });
 
 port.on("devtools.traceElemHide", (message, sender) =>
 {
   logHiddenElements(
     sender.page.id, message.selectors, message.filters,
     extractHostFromFrame(sender.frame)
   );
 });