export declare const extensionsFile = "console-extensions.json";
export declare const ALL_NAMESPACES_KEY = "#ALL_NS#";
/** Default name of the global plugin entry callback function used by PluginLoader */
export declare const REMOTE_ENTRY_CALLBACK = "__load_plugin_entry__";