| Index: third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js b/third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js
|
| index 1a77e9750f7711779fb9fda5e39656600c8e6b52..7344dec519d771c0f9e2b6f915150c275467536f 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/console/ConsoleView.js
|
| @@ -1095,8 +1095,9 @@ WebInspector.ConsoleViewFilter = function(view)
|
| this._filterChanged = this.dispatchEventToListeners.bind(this, WebInspector.ConsoleViewFilter.Events.FilterChanged);
|
| };
|
|
|
| +/** @enum {symbol} */
|
| WebInspector.ConsoleViewFilter.Events = {
|
| - FilterChanged: "FilterChanged"
|
| + FilterChanged: Symbol("FilterChanged")
|
| };
|
|
|
| WebInspector.ConsoleViewFilter.prototype = {
|
|
|