| Index: third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js b/third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js
|
| index ff936cf25e7b6883a194ab10c34cdd24788f178b..64592f574ec91d83425ebccd515fab1f1ddecba7 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js
|
| @@ -51,11 +51,12 @@ WebInspector.RuntimeModel = function(target)
|
| WebInspector.moduleSetting("customFormatters").addChangeListener(this._customFormattersStateChanged.bind(this));
|
| }
|
|
|
| +/** @enum {symbol} */
|
| WebInspector.RuntimeModel.Events = {
|
| - ExecutionContextCreated: "ExecutionContextCreated",
|
| - ExecutionContextDestroyed: "ExecutionContextDestroyed",
|
| - ExecutionContextChanged: "ExecutionContextChanged",
|
| - ExecutionContextOrderChanged: "ExecutionContextOrderChanged"
|
| + ExecutionContextCreated: ("ExecutionContextCreated"),
|
| + ExecutionContextDestroyed: ("ExecutionContextDestroyed"),
|
| + ExecutionContextChanged: ("ExecutionContextChanged"),
|
| + ExecutionContextOrderChanged: ("ExecutionContextOrderChanged")
|
| }
|
|
|
| WebInspector.RuntimeModel._privateScript = "private script";
|
|
|