Index: third_party/WebKit/Source/devtools/front_end/devtools.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/devtools.js b/third_party/WebKit/Source/devtools/front_end/devtools.js |
index e947c6b63f2c1293a6c6faf7d864059dc96df695..ea6ac371f9f5ebf8e2036aa6e09e7c96d8412702 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/devtools.js |
+++ b/third_party/WebKit/Source/devtools/front_end/devtools.js |
@@ -330,7 +330,7 @@ DevToolsAPIImpl.prototype = { |
return ""; |
} |
} |
-} |
+}; |
var DevToolsAPI = new DevToolsAPIImpl(); |
window.DevToolsAPI = DevToolsAPI; |
@@ -896,7 +896,7 @@ InspectorFrontendHostImpl.prototype = { |
{ |
this.recordEnumeratedHistogram("DevTools.PanelShown", panelCode, 20); |
} |
-} |
+}; |
window.InspectorFrontendHost = new InspectorFrontendHostImpl(); |
@@ -1165,7 +1165,7 @@ if (!DOMTokenList.prototype.__originalDOMTokenListToggle) { |
if (arguments.length === 1) |
force = !this.contains(token); |
return this.__originalDOMTokenListToggle(token, !!force); |
- } |
+ }; |
} |
})(window); |