More plugin -> extension renames

This commit is contained in:
Alex Dima
2016-03-01 12:44:26 +01:00
parent 3942260bd4
commit c867beb5fe
10 changed files with 169 additions and 169 deletions

View File

@@ -372,13 +372,13 @@ export class ExtHostAPIImplementation {
//
this.extensions = {
getExtension(extensionId: string):Extension<any> {
let desc = ExtensionsRegistry.getPluginDescription(extensionId);
let desc = ExtensionsRegistry.getExtensionDescription(extensionId);
if (desc) {
return new Extension(<PluginHostPluginService> extensionService, desc);
}
},
get all():Extension<any>[] {
return ExtensionsRegistry.getAllPluginDescriptions().map((desc) => new Extension(<PluginHostPluginService> extensionService, desc));
return ExtensionsRegistry.getAllExtensionDescriptions().map((desc) => new Extension(<PluginHostPluginService> extensionService, desc));
}
};