Remove hacked-in Extensions namespace

Signed-off-by: thegecko <rob.moran@arm.com>
eclipse-theia · Nov 29, 2022 · 354b1d7 · 354b1d7
1 parent 2ec7d87
commit 354b1d7
Showing 1 changed file with 0 additions and 13 deletions.
diff --git a/packages/plugin-ext-vscode/src/node/plugin-vscode-init.ts b/packages/plugin-ext-vscode/src/node/plugin-vscode-init.ts
@@ -47,19 +47,6 @@ export const doInitialization: BackendInitializationFn = (apiFactory: PluginAPIF
 function createVSCodeAPI(apiFactory: PluginAPIFactory, plugin: Plugin): typeof theia {
     const vscode = Object.assign(apiFactory(plugin), { ExtensionKind });
 
-    // use Theia plugin api to implement vscode extensions api
-    (<any>vscode).extensions = {
-        get all(): any[] {
-            return vscode.plugins.all;
-        },
-        getExtension(pluginId: string): any | undefined {
-            return vscode.plugins.getPlugin(pluginId);
-        },
-        get onDidChange(): theia.Event<void> {
-            return vscode.plugins.onDidChange;
-        }
-    };
-
     // override the version for vscode to be a VSCode version
     (<any>vscode).version = process.env['VSCODE_API_VERSION'] || VSCODE_DEFAULT_API_VERSION;
     return vscode;