split local vs gallery extensions

This commit is contained in:
Joao Moreno
2016-06-17 11:02:46 +02:00
parent c590dbccb9
commit e4d80d8ac6
9 changed files with 67 additions and 69 deletions

View File

@@ -98,7 +98,7 @@ class Main {
console.log(localize('installing', "Installing..."));
return this.extensionManagementService.install(extension).then(() => {
console.log(localize('successInstall', "Extension '{0}' v{1} was successfully installed!", id, extension.manifest.version));
console.log(localize('successInstall', "Extension '{0}' v{1} was successfully installed!", id, extension.versions[0].version));
});
});
});