Index: third_party/WebKit/Source/devtools/front_end/workspace/FileSystemMapping.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/workspace/FileSystemMapping.js b/third_party/WebKit/Source/devtools/front_end/workspace/FileSystemMapping.js |
index 337d2136d33e7732ff3aec48f0896733020a40f8..40c3a10a6419a42e4f0da0c1bafb43ef22a78ea5 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/workspace/FileSystemMapping.js |
+++ b/third_party/WebKit/Source/devtools/front_end/workspace/FileSystemMapping.js |
@@ -41,9 +41,10 @@ WebInspector.FileSystemMapping = function() |
this._loadFromSettings(); |
} |
+/** @enum {symbol} */ |
WebInspector.FileSystemMapping.Events = { |
- FileMappingAdded: "FileMappingAdded", |
- FileMappingRemoved: "FileMappingRemoved" |
+ FileMappingAdded: Symbol("FileMappingAdded"), |
+ FileMappingRemoved: Symbol("FileMappingRemoved") |
} |
WebInspector.FileSystemMapping.prototype = { |