getExtension(name: string) {
    const point = this.getExtensionPoint(name)
    if (point !== null) {
      return point.getExtension()
    }