| Index: Source/devtools/front_end/host/Platform.js
|
| diff --git a/Source/devtools/front_end/host/Platform.js b/Source/devtools/front_end/host/Platform.js
|
| index 5e11b7943068e26b0e1645805c89b5ff70fcb896..64c4490159f00269c881aebbbb9b9091c115ebb2 100644
|
| --- a/Source/devtools/front_end/host/Platform.js
|
| +++ b/Source/devtools/front_end/host/Platform.js
|
| @@ -158,4 +158,12 @@ WebInspector.monospaceFontFamily = function()
|
| break;
|
| }
|
| return WebInspector._monospaceFontFamily;
|
| -}
|
| +}
|
| +
|
| +/**
|
| + * @return {boolean}
|
| + */
|
| +WebInspector.isWorkerFrontend = function()
|
| +{
|
| + return !!WebInspector.queryParam("dedicatedWorkerId") || !!WebInspector.queryParam("isSharedWorker");
|
| +}
|
|
|