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