Index: third_party/WebKit/Source/devtools/front_end/extensions/ExtensionRegistryStub.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionRegistryStub.js b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionRegistryStub.js |
index 0a51c40410bc54ecb71acc8ffd750fa950107789..7e31b83cfe6a4a0b12dd14ed047557b62b4d24a6 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionRegistryStub.js |
+++ b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionRegistryStub.js |
@@ -32,11 +32,11 @@ if (!window.InspectorExtensionRegistry) { |
/** |
* @constructor |
*/ |
- WebInspector.InspectorExtensionRegistryStub = function() { } |
+ WebInspector.InspectorExtensionRegistryStub = function() { }; |
WebInspector.InspectorExtensionRegistryStub.prototype = { |
getExtensionsAsync: function() { } |
- } |
+ }; |
var InspectorExtensionRegistry = new WebInspector.InspectorExtensionRegistryStub(); |
} |