[vscode] Evolution of the extensionsAny.d.ts interface

[rschnekenbu]

This interface is implemented here:

theia/packages/plugin-ext/src/plugin/plugin-context.ts

Line 884 in 754eb84

getExtension<T = any>(extensionId: string, includeFromDifferentExtensionHosts: boolean = false): theia.Extension<T> | undefined {

Update to the proposed interface file and implementation code may necessary:

Change: Added a new overload for the getExtension function with the signature getExtension<T = any>(extensionId: string, includeDifferentExtensionHosts: true): Extension<T | undefined> | undefined.

This proposed extension is used by the html language features extension.