Index: third_party/WebKit/Source/devtools/front_end/ui/HistoryInput.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/HistoryInput.js b/third_party/WebKit/Source/devtools/front_end/ui/HistoryInput.js |
index f8ab8a5626bdb33f5785447a39ded532b1f7a9d2..d8ce8ca5363ad42bc4e8b9cfdae98115552aa6aa 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/HistoryInput.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/HistoryInput.js |
@@ -8,7 +8,7 @@ |
*/ |
WebInspector.HistoryInput = function() |
{ |
-} |
+}; |
/** |
* @return {!WebInspector.HistoryInput} |
@@ -19,7 +19,7 @@ WebInspector.HistoryInput.create = function() |
WebInspector.HistoryInput._constructor = registerCustomElement("input", "history-input", WebInspector.HistoryInput.prototype); |
return /** @type {!WebInspector.HistoryInput} */(new WebInspector.HistoryInput._constructor()); |
-} |
+}; |
WebInspector.HistoryInput.prototype = { |
createdCallback: function() |
@@ -69,5 +69,5 @@ WebInspector.HistoryInput.prototype = { |
}, |
__proto__: HTMLInputElement.prototype |
-} |
+}; |