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