| 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;
|
| -}
|
| +};
|
|
|