| Index: third_party/WebKit/Source/devtools/front_end/sdk/Script.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/Script.js b/third_party/WebKit/Source/devtools/front_end/sdk/Script.js
|
| index 135cfe1d3d6345d20dedddeb7e1594c3a2c1062e..5a6fc2453bfd43fdf230f85dea2b5d9a2e1e2477 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sdk/Script.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sdk/Script.js
|
| @@ -59,9 +59,10 @@ WebInspector.Script = function(debuggerModel, scriptId, sourceURL, startLine, st
|
| this.hasSourceURL = hasSourceURL;
|
| }
|
|
|
| +/** @enum {symbol} */
|
| WebInspector.Script.Events = {
|
| - ScriptEdited: "ScriptEdited",
|
| - SourceMapURLAdded: "SourceMapURLAdded"
|
| + ScriptEdited: Symbol("ScriptEdited"),
|
| + SourceMapURLAdded: Symbol("SourceMapURLAdded")
|
| }
|
|
|
| WebInspector.Script.sourceURLRegex = /^[\040\t]*\/\/[@#] sourceURL=\s*(\S*?)\s*$/m;
|
|
|