/**
 * Plugin Infrastructure Index
 */

export { PluginManager } from './PluginManager';
export type { PluginManagerOptions } from './PluginManager';
export { BasePlugin, type Plugin, type ExtensionPoint } from './Plugin';
export { ExtensionPointNames, type ExtensionPointName } from './ExtensionPoint';