import { ExtensionManager } from './manager.js';
export declare function getExtensionManager(): ExtensionManager;