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