paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-05 22:43:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

pygments_data: Move data to typescript.

Browse Source
This commit is contained in:
evykassirer
2024-01-13 12:01:07 -08:00
committed by Tim Abbott
parent bd6471f0e3
commit d7b02a699c
9 changed files with 24 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
web/src/pygments_data.ts Normal file
View File

@@ -0,0 +1,6 @@
import generated_pygments_data from "../generated/pygments_data.json";
type PygmentsLanguage = {priority: number; pretty_name: string};
const langs: Record<string, PygmentsLanguage | undefined> = generated_pygments_data.langs;
export {langs};