1 | import { Extension } from 'sourcegraph/module/client/extension';
|
2 | import { ErrorLike } from '../errors';
|
3 | import { ExtensionManifest } from '../schema/extension.schema';
|
4 | import * as GQL from '../schema/graphqlschema';
|
5 | import { Settings } from '../settings';
|
6 |
|
7 |
|
8 |
|
9 |
|
10 |
|
11 |
|
12 |
|
13 | export interface ConfiguredExtension<RX extends Pick<GQL.IRegistryExtension, 'id' | 'url' | 'viewerCanAdminister'> = Pick<GQL.IRegistryExtension, 'id' | 'url' | 'viewerCanAdminister'>> extends Extension {
|
14 |
|
15 | manifest: ExtensionManifest | null | ErrorLike;
|
16 |
|
17 | rawManifest: string | null;
|
18 |
|
19 | registryExtension?: RX;
|
20 | }
|
21 |
|
22 | export declare function isExtensionEnabled(settings: Settings | ErrorLike | null, extensionID: string): boolean;
|
23 |
|
24 | export declare function isExtensionAdded(settings: Settings | ErrorLike | null, extensionID: string): boolean;
|
25 |
|
26 |
|
27 |
|
28 | export declare function confirmAddExtension(extensionID: string, extensionManifest?: ConfiguredExtension['manifest']): boolean;
|