/
githubmirror
/
zulip
Обзор
Документация
Войти
/
githubmirror
/
zulip
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
web/src/pygments_data.ts
8 строк
301 B
Evy Kassirer
pygments_data: Remove undefined option for lang value.
25 сен 2025, 19:24
25 сен 2025, 19:24
68e86b0
Код
Авторство
О чём код?
import generated_pygments_data from "../generated/pygments_data.json"; type PygmentsLanguage = {priority: number; pretty_name: string}; export let langs: Record<string, PygmentsLanguage> = generated_pygments_data.langs; export function rewire_langs(value: typeof langs): void { langs = value; }