Fix error when installing extensions from gallery (#20012)

* Fix error when installing extensions from gallery

* update
This commit is contained in:
Charles Gagnon
2022-07-12 10:36:08 -07:00
committed by GitHub
parent 7ba0bf9070
commit 050cb16619

View File

@@ -112,12 +112,14 @@ export abstract class AbstractExtensionManagementService extends Disposable impl
throw error;
}
/* {{SQL CARBON EDIT}} Remove this check as we don't want to enforce the manifest versions matching since those are often coming directly from the main branch
if (manifest.version !== extension.version) {
const error = new ExtensionManagementError(`Cannot install '${extension.identifier.id}' extension because of version mismatch in Marketplace`, ExtensionManagementErrorCode.Invalid);
this.logService.error(error.message);
reportTelemetry(this.telemetryService, 'extensionGallery:install', getGalleryExtensionTelemetryData(extension), undefined, error);
throw error;
}
*/
return this.installExtension(manifest, extension, options);
}