Index: third_party/WebKit/Source/devtools/front_end/network/NetworkTimeCalculator.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/network/NetworkTimeCalculator.js b/third_party/WebKit/Source/devtools/front_end/network/NetworkTimeCalculator.js |
index 4e3ce496f6cbc9701106d4879d787a1b75e63ef7..f24a4c6857b47bc4c2d0b1e806e5ffc0f0a23581 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/network/NetworkTimeCalculator.js |
+++ b/third_party/WebKit/Source/devtools/front_end/network/NetworkTimeCalculator.js |
@@ -63,9 +63,9 @@ WebInspector.NetworkTimeCalculator = function(startAtZero) |
this._window = null; |
} |
-/** @enum {string} */ |
+/** @enum {symbol} */ |
WebInspector.NetworkTimeCalculator.Events = { |
- BoundariesChanged: "BoundariesChanged" |
+ BoundariesChanged: Symbol("BoundariesChanged") |
} |
/** @type {!WebInspector.UIStringFormat} */ |