( source: SettingSource, )
| 392 | } |
| 393 | |
| 394 | export function getSettingsForSource( |
| 395 | source: SettingSource, |
| 396 | ): SettingsJson | null { |
| 397 | const cached = getCachedSettingsForSource(source) |
| 398 | if (cached !== undefined) return cached |
| 399 | const result = getSettingsForSourceUncached(source) |
| 400 | setCachedSettingsForSource(source, result) |
| 401 | return result |
| 402 | } |
| 403 | |
| 404 | function getSettingsForSourceUncached( |
| 405 | source: SettingSource, |
no test coverage detected