Index: third_party/WebKit/Source/devtools/front_end/host/Platform.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/host/Platform.js b/third_party/WebKit/Source/devtools/front_end/host/Platform.js |
index 9d39f364f22be415496d8ec416b2d2fad429b269..c2f68f5351f7dc91186fc16e5ce522d822a1ef1e 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/host/Platform.js |
+++ b/third_party/WebKit/Source/devtools/front_end/host/Platform.js |
@@ -34,7 +34,7 @@ WebInspector.platform = function() |
if (!WebInspector._platform) |
WebInspector._platform = InspectorFrontendHost.platform(); |
return WebInspector._platform; |
-} |
+}; |
/** |
* @return {boolean} |
@@ -45,7 +45,7 @@ WebInspector.isMac = function() |
WebInspector._isMac = WebInspector.platform() === "mac"; |
return WebInspector._isMac; |
-} |
+}; |
/** |
* @return {boolean} |
@@ -56,7 +56,7 @@ WebInspector.isWin = function() |
WebInspector._isWin = WebInspector.platform() === "windows"; |
return WebInspector._isWin; |
-} |
+}; |
/** |
* @return {string} |
@@ -77,7 +77,7 @@ WebInspector.fontFamily = function() |
break; |
} |
return WebInspector._fontFamily; |
-} |
+}; |
/** |
* @return {string} |
@@ -98,4 +98,4 @@ WebInspector.monospaceFontFamily = function() |
break; |
} |
return WebInspector._monospaceFontFamily; |
-} |
+}; |