| import { getSettingsForSource } from '../settings/settings.js' |
|
|
| |
| |
| |
| |
| |
| |
| export function getManagedPluginNames(): Set<string> | null { |
| const enabledPlugins = getSettingsForSource('policySettings')?.enabledPlugins |
| if (!enabledPlugins) { |
| return null |
| } |
| const names = new Set<string>() |
| for (const [pluginId, value] of Object.entries(enabledPlugins)) { |
| |
| |
| if (typeof value !== 'boolean' || !pluginId.includes('@')) { |
| continue |
| } |
| const name = pluginId.split('@')[0] |
| if (name) { |
| names.add(name) |
| } |
| } |
| return names.size > 0 ? names : null |
| } |
|
|