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 = { |