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} */ |