Index: third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js |
index c234cb48e635ea761bbf0331eefedb183259f2b6..de10564e5b75f19f2b9ea036935816af7c972571 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js |
@@ -7,7 +7,7 @@ |
*/ |
WebInspector.TextEditorFactory = function() |
{ |
-} |
+}; |
WebInspector.TextEditorFactory.prototype = { |
/** |
@@ -15,14 +15,14 @@ WebInspector.TextEditorFactory.prototype = { |
* @return {!WebInspector.TextEditor} |
*/ |
createEditor: function(options) { } |
-} |
+}; |
/** |
* @interface |
*/ |
WebInspector.TextEditor = function() |
{ |
-} |
+}; |
WebInspector.TextEditor.prototype = { |
@@ -76,7 +76,7 @@ WebInspector.TextEditor.prototype = { |
configureAutocomplete: function(config) { }, |
clearAutocomplete: function() { } |
-} |
+}; |
/** |
* @typedef {{ |