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