Index: third_party/WebKit/Source/devtools/front_end/sdk/SecurityOriginManager.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/SecurityOriginManager.js b/third_party/WebKit/Source/devtools/front_end/sdk/SecurityOriginManager.js |
index f226a4e19b8b7750e05f566b77fb8edf02bde29a..fed45e9d0bfc838ba4eb073934853b89b47f35bf 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sdk/SecurityOriginManager.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/SecurityOriginManager.js |
@@ -13,14 +13,14 @@ WebInspector.SecurityOriginManager = function(target) |
this._securityOriginCounter = new Map(); |
this._mainSecurityOrigin = ""; |
-} |
+}; |
/** @enum {symbol} */ |
WebInspector.SecurityOriginManager.Events = { |
SecurityOriginAdded: Symbol("SecurityOriginAdded"), |
SecurityOriginRemoved: Symbol("SecurityOriginRemoved"), |
MainSecurityOriginChanged: Symbol("MainSecurityOriginChanged") |
-} |
+}; |
/** |
* @param {!WebInspector.Target} target |
@@ -32,7 +32,7 @@ WebInspector.SecurityOriginManager.fromTarget = function(target) |
if (!securityOriginManager) |
securityOriginManager = new WebInspector.SecurityOriginManager(target); |
return securityOriginManager; |
-} |
+}; |
WebInspector.SecurityOriginManager.prototype = { |
/** |
@@ -89,4 +89,4 @@ WebInspector.SecurityOriginManager.prototype = { |
}, |
__proto__: WebInspector.SDKModel.prototype |
-} |
+}; |