without the plumbing!

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 beaefd455791c983a89cefcdf300ecf5f9fdc757..47b734f17c9e8e166fcaaab5976cfbce280934fd 100644
--- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
@@ -585,6 +585,26 @@ SDK.NetworkDispatcher = class {
   }
 
   /**
+   * @override
+   * @param {!Protocol.Network.RequestId} requestId
+   * @param {!Protocol.Network.Request} request
+   */
+  interceptedRequest(requestId, request) {
+    // Stub implementation.  Event not currently used by the frontend.
+  }
+
+  /**
+   * @override
+   * @param {!Protocol.Network.RequestId} requestId
+   * @param {!Protocol.Network.Headers} responseHeaders
+   * @param {number} responseStatusCode
+   * @param {string} redirectUrl
+   */
+  interceptedRedirect(requestId, responseHeaders, responseStatusCode, redirectUrl) {
+    // Stub implementation.  Event not currently used by the frontend.
+  }
+
+  /**
    * @param {!Protocol.Network.RequestId} requestId
    * @param {!Protocol.Network.Timestamp} time
    * @param {string} redirectURL