| Index: third_party/WebKit/Source/devtools/front_end/common/Console.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/common/Console.js b/third_party/WebKit/Source/devtools/front_end/common/Console.js
|
| index db2c7586d6db287fd9dd8fa9b43650df2a728f61..df2f0c32eca72969cce514f055456b26b60d7d7f 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/common/Console.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/common/Console.js
|
| @@ -12,11 +12,9 @@ WebInspector.Console = function()
|
| this._messages = [];
|
| }
|
|
|
| -/**
|
| - * @enum {string}
|
| - */
|
| +/** @enum {symbol} */
|
| WebInspector.Console.Events = {
|
| - MessageAdded: "messageAdded"
|
| + MessageAdded: Symbol("messageAdded")
|
| }
|
|
|
| /**
|
|
|