Index: third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js b/third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js |
index 02691d065f2349cfffec6b83a4880125a7fd3a62..7927fbff7480f762523c6c060d9d359823021e7e 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js |
@@ -13,7 +13,7 @@ WebInspector.DropDownMenu = function(element) |
this._items = []; |
element.addEventListener("mousedown", this._onMouseDown.bind(this)); |
-} |
+}; |
/** @typedef {{id: string, title: string}} */ |
WebInspector.DropDownMenu.Item; |
@@ -21,7 +21,7 @@ WebInspector.DropDownMenu.Item; |
/** @enum {symbol} */ |
WebInspector.DropDownMenu.Events = { |
ItemSelected: Symbol("ItemSelected") |
-} |
+}; |
WebInspector.DropDownMenu.prototype = { |
/** |
@@ -69,4 +69,4 @@ WebInspector.DropDownMenu.prototype = { |
}, |
__proto__: WebInspector.Object.prototype |
-} |
+}; |