DevTools protocol interception, blocking & modification of requests

third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js

Index: third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
index 1e4f6d7d13d906c0594b27cd48de7501ddcf3c7a..4e42bc3f5857b4d16ba8ed0e7d5c6984f38b2e41 100644
--- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
@@ -600,6 +600,18 @@ SDK.NetworkDispatcher = class {
     networkRequest.addEventSourceMessage(time, eventName, eventId, data);
   }
 
+  /**
+   * @override
+   * @param {!Protocol.Network.RequestId} requestId
+   * @param {!Protocol.Network.Request} request
+   * @param {!Protocol.Network.Headers=} redirectHeaders
+   * @param {number=} redirectStatusCode
+   * @param {string=} redirectUrl
+   */
+  requestIntercepted(requestId, request, redirectHeaders, redirectStatusCode, redirectUrl) {
+    // Stub implementation.  Event not currently used by the frontend.
+  }
+
   /**
    * @param {!Protocol.Network.RequestId} requestId
    * @param {!Protocol.Network.Timestamp} time