Index: third_party/WebKit/Source/devtools/front_end/bindings/ResourceScriptMapping.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/bindings/ResourceScriptMapping.js b/third_party/WebKit/Source/devtools/front_end/bindings/ResourceScriptMapping.js |
index 8b76231e13544c26be6e460800e0b46dbde5f27f..5a8e683a125c049e693a88650522eefc79974d61 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/bindings/ResourceScriptMapping.js |
+++ b/third_party/WebKit/Source/devtools/front_end/bindings/ResourceScriptMapping.js |
@@ -296,9 +296,10 @@ WebInspector.ResourceScriptFile = function(resourceScriptMapping, uiSourceCode, |
this._uiSourceCode.addEventListener(WebInspector.UISourceCode.Events.WorkingCopyCommitted, this._workingCopyCommitted, this); |
} |
+/** @enum {symbol} */ |
WebInspector.ResourceScriptFile.Events = { |
- DidMergeToVM: "DidMergeToVM", |
- DidDivergeFromVM: "DidDivergeFromVM", |
+ DidMergeToVM: Symbol("DidMergeToVM"), |
+ DidDivergeFromVM: Symbol("DidDivergeFromVM"), |
} |
WebInspector.ResourceScriptFile.prototype = { |