| 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 3001c164577b59c6a4cbc4dd67c2f4b0f556d96c..5c47daff7203cf652cbfd5c2256cd47c3447a2e8 100644
|
| --- a/Source/devtools/front_end/sdk/WorkerManager.js
|
| +++ b/Source/devtools/front_end/sdk/WorkerManager.js
|
| @@ -180,8 +180,3 @@ WebInspector.WorkerDispatcher.prototype = {
|
| this._workerManager._disconnectedFromWorker();
|
| }
|
| }
|
| -
|
| -/**
|
| - * @type {!WebInspector.WorkerManager}
|
| - */
|
| -WebInspector.workerManager;
|
|
|