( userScriptSettings: UserScriptSettingsDefinition | undefined, )
| 538 | } |
| 539 | |
| 540 | export function getSecretOptionNames( |
| 541 | userScriptSettings: UserScriptSettingsDefinition | undefined, |
| 542 | ): string[] { |
| 543 | const options = userScriptSettings?.options; |
| 544 | if (!options) return []; |
| 545 | |
| 546 | return Object.entries(options) |
| 547 | .filter(([, option]) => isSecretUserScriptOption(option)) |
| 548 | .map(([name]) => name); |
| 549 | } |
| 550 | |
| 551 | function getSecretOptionEntries( |
| 552 | userScriptSettings: UserScriptSettingsDefinition | undefined, |
no test coverage detected