| Index: third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js
|
| index 6bdd17b923e6d95e8b1843552af3c56ff0c7e3ca..bffee10d84a8c6887c9a75477878c4986caaf6c0 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkRequest.js
|
| @@ -94,14 +94,15 @@ WebInspector.NetworkRequest = function(target, requestId, url, documentURL, fram
|
| this.connectionId = "0";
|
| }
|
|
|
| +/** @enum {symbol} */
|
| WebInspector.NetworkRequest.Events = {
|
| - FinishedLoading: "FinishedLoading",
|
| - TimingChanged: "TimingChanged",
|
| - RemoteAddressChanged: "RemoteAddressChanged",
|
| - RequestHeadersChanged: "RequestHeadersChanged",
|
| - ResponseHeadersChanged: "ResponseHeadersChanged",
|
| - WebsocketFrameAdded: "WebsocketFrameAdded",
|
| - EventSourceMessageAdded: "EventSourceMessageAdded",
|
| + FinishedLoading: Symbol("FinishedLoading"),
|
| + TimingChanged: Symbol("TimingChanged"),
|
| + RemoteAddressChanged: Symbol("RemoteAddressChanged"),
|
| + RequestHeadersChanged: Symbol("RequestHeadersChanged"),
|
| + ResponseHeadersChanged: Symbol("ResponseHeadersChanged"),
|
| + WebsocketFrameAdded: Symbol("WebsocketFrameAdded"),
|
| + EventSourceMessageAdded: Symbol("EventSourceMessageAdded")
|
| }
|
|
|
| /** @enum {string} */
|
|
|