From 354b1d7f3d70fe19a07a9167b824becb039ba843 Mon Sep 17 00:00:00 2001
From: thegecko <rob.moran@arm.com>
Date: Tue, 29 Nov 2022 18:31:54 +0000
Subject: [PATCH] Remove hacked-in Extensions namespace

Signed-off-by: thegecko <rob.moran@arm.com>
---
 .../src/node/plugin-vscode-init.ts                  | 13 -------------
 1 file changed, 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
index 9392b32ce6bb0..3dfc9ec91bad3 100644
--- 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;