| Index: third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js b/third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| index 746c8c7107889890698d565dab02a024c54886d1..362a37312c753dc9887d46fd7586c6f779594e65 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/profiler/ProfilesPanel.js
|
| @@ -45,14 +45,12 @@ WebInspector.ProfileType = function(id, name)
|
| window.addEventListener("unload", this._clearTempStorage.bind(this), false);
|
| }
|
|
|
| -/**
|
| - * @enum {string}
|
| - */
|
| +/** @enum {symbol} */
|
| WebInspector.ProfileType.Events = {
|
| - AddProfileHeader: "add-profile-header",
|
| - ProfileComplete: "profile-complete",
|
| - RemoveProfileHeader: "remove-profile-header",
|
| - ViewUpdated: "view-updated"
|
| + AddProfileHeader: Symbol("add-profile-header"),
|
| + ProfileComplete: Symbol("profile-complete"),
|
| + RemoveProfileHeader: Symbol("remove-profile-header"),
|
| + ViewUpdated: Symbol("view-updated")
|
| }
|
|
|
| WebInspector.ProfileType.prototype = {
|
| @@ -331,9 +329,10 @@ WebInspector.ProfileHeader.StatusUpdate = function(subtitle, wait)
|
| this.wait = wait;
|
| }
|
|
|
| +/** @enum {symbol} */
|
| WebInspector.ProfileHeader.Events = {
|
| - UpdateStatus: "UpdateStatus",
|
| - ProfileReceived: "ProfileReceived"
|
| + UpdateStatus: Symbol("UpdateStatus"),
|
| + ProfileReceived: Symbol("ProfileReceived")
|
| }
|
|
|
| WebInspector.ProfileHeader.prototype = {
|
|
|