Index: third_party/WebKit/Source/devtools/front_end/sources/WorkspaceMappingTip.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/WorkspaceMappingTip.js b/third_party/WebKit/Source/devtools/front_end/sources/WorkspaceMappingTip.js |
index b9a3e0884e622557364353f2ed5262ec3b01e374..69e93cfb48248dfc14ea044fe403f2738457ebd9 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sources/WorkspaceMappingTip.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sources/WorkspaceMappingTip.js |
@@ -21,7 +21,7 @@ WebInspector.WorkspaceMappingTip = function(sourcesPanel, workspace) |
return; |
this._sourcesView.addEventListener(WebInspector.SourcesView.Events.EditorSelected, this._editorSelected.bind(this)); |
WebInspector.persistence.addEventListener(WebInspector.Persistence.Events.BindingCreated, this._bindingCreated, this); |
-} |
+}; |
WebInspector.WorkspaceMappingTip._infobarSymbol = Symbol("infobar"); |
@@ -177,4 +177,4 @@ WebInspector.WorkspaceMappingTip.prototype = { |
uiSourceCodeFrame.attachInfobars([infobar]); |
WebInspector.runCSSAnimationOnce(infobar.element, "source-frame-infobar-animation"); |
} |
-} |
+}; |