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"; |