Issue 6622 - Implement $rewrite filter option

lib/devtools.js

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 URL the request was rewritten to
  */
 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.
  *