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 a27567eaf73003b33cf37756696de38e742f89e9..666463d36b246e600f08e114abdf99094cc36acf 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js |
@@ -602,6 +602,26 @@ SDK.NetworkDispatcher = class { |
} |
/** |
+ * @override |
+ * @param {!Protocol.Network.InterceptId} requestId |
+ * @param {!Protocol.Network.Request} request |
+ */ |
+ interceptedRequest(requestId, request) { |
+ // Stub implementation. Event not currently used by the frontend. |
+ } |
+ |
+ /** |
+ * @override |
+ * @param {!Protocol.Network.InterceptId} 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 |