| Index: Source/devtools/front_end/sdk/WorkerManager.js
|
| diff --git a/Source/devtools/front_end/sdk/WorkerManager.js b/Source/devtools/front_end/sdk/WorkerManager.js
|
| index 4ad441191e4c7393d376d36306e0cf63d58303a2..81841987e9c7cb7cadc6d16122e833314d82b1b4 100644
|
| --- a/Source/devtools/front_end/sdk/WorkerManager.js
|
| +++ b/Source/devtools/front_end/sdk/WorkerManager.js
|
| @@ -31,6 +31,7 @@
|
| /**
|
| * @constructor
|
| * @extends {WebInspector.Object}
|
| + * @param {!WebInspector.Target} target
|
| * @param {boolean} isMainFrontend
|
| */
|
| WebInspector.WorkerManager = function(target, isMainFrontend)
|
| @@ -172,6 +173,7 @@ WebInspector.workerManager;
|
| * @constructor
|
| * @extends {InspectorBackendClass.Connection}
|
| * @param {string} workerId
|
| + * @param {function(!InspectorBackendClass.Connection)} onConnectionReady
|
| */
|
| WebInspector.ExternalWorkerConnection = function(workerId, onConnectionReady)
|
| {
|
|
|