Index: third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js |
index c5acf5b36bbaf066b2f2bd8a3835c28c629131c8..a55cd3c0a17207416a5889f5c3b2dbdc030b58e6 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js |
+++ b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js |
@@ -86,9 +86,10 @@ WebInspector.ExtensionServer = function() |
this._initExtensions(); |
} |
+/** @enum {symbol} */ |
WebInspector.ExtensionServer.Events = { |
- SidebarPaneAdded: "SidebarPaneAdded", |
- AuditCategoryAdded: "AuditCategoryAdded" |
+ SidebarPaneAdded: Symbol("SidebarPaneAdded"), |
+ AuditCategoryAdded: Symbol("AuditCategoryAdded") |
} |
WebInspector.ExtensionServer.prototype = { |