Index: third_party/WebKit/Source/devtools/front_end/timeline/TimelinePanel.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/timeline/TimelinePanel.js b/third_party/WebKit/Source/devtools/front_end/timeline/TimelinePanel.js |
index 873d39da12b9f5219f52440fb62f6e109e18cb23..258de9a926ff41a440365914cb5dce119626dcff 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/timeline/TimelinePanel.js |
+++ b/third_party/WebKit/Source/devtools/front_end/timeline/TimelinePanel.js |
@@ -1884,6 +1884,7 @@ WebInspector.TimelineFilters = function() |
this._createFilterBar(); |
} |
+/** @enum {symbol} */ |
WebInspector.TimelineFilters.Events = { |
FilterChanged: Symbol("FilterChanged") |
}; |