| Index: Source/devtools/front_end/main/Main.js
|
| diff --git a/Source/devtools/front_end/main/Main.js b/Source/devtools/front_end/main/Main.js
|
| index 62a9a665c9173aaccaa56efbc0a94b0a5f94187b..040c995cc7b2fb34afa8f95b46c2ba88513dcb38 100644
|
| --- a/Source/devtools/front_end/main/Main.js
|
| +++ b/Source/devtools/front_end/main/Main.js
|
| @@ -192,7 +192,7 @@ WebInspector.Main.prototype = {
|
| if (WebInspector.experimentsSettings.documentation.isEnabled())
|
| configuration.push("documentation");
|
| if (WebInspector.isWorkerFrontend())
|
| - configuration = ["main", "sources", "timeline", "profiler", "console", "source_frame"];
|
| + configuration = ["main", "sources", "timeline", "profiler", "console", "source_frame", "extensions"];
|
| self.runtime.registerModules(configuration);
|
| },
|
|
|
|
|