public SimpleExtensionManager(ExtensionManager extensionManager, ExtensionsSettingsMountPointProvider extensionsSettingsMountPointProvider) { this.extensionManager = extensionManager; this.extensionsSettingsMountPointProvider = extensionsSettingsMountPointProvider; }
public SimpleExtensionManager(ExtensionManager extensionManager, ExtensionsSettingsMountPointProvider extensionsSettingsMountPointProvider) { this.extensionManager = extensionManager; this.extensionsSettingsMountPointProvider = extensionsSettingsMountPointProvider; }