15 Commits

Include renames

Author	SHA1	Message	Date
panda	846a394e54	ui: record_main: allow using nopush to disable live event feed (#730)	2024-02-20 07:49:16 +08:00
undefined	7023ffd775	core&ui: add websocket compression	2024-01-19 10:01:43 +08:00
undefined	47b8c06783	ui: record_main: disable live feed if not on first page	2023-10-05 12:51:07 +08:00
panda	1c91ac470c	ui: remove empty lang on language filter (#598) (#601)	2023-07-01 20:20:10 +08:00
undefined	2c04e036e9	ui: fix build	2023-06-25 10:42:32 +08:00
undefined	79fb78dbae	ui: fix language filter (#598)	2023-06-25 01:09:41 +08:00
undefined	0bf2c8362a	ui: allow quick rejudge	2023-01-11 00:54:59 +08:00
undefined	96fa6cc7b9	ui: frontend api (#470) [skip-cache]	2022-12-12 00:53:44 +08:00
yzx_28	0c587d1786	ui: Add Websocket prefix settings (#449)	2022-10-24 02:45:27 +08:00
undefined	7dafab8344	utils: module loader register	2022-08-07 05:05:45 +08:00
undefined	a05125c6b0	ui: upgrade to webpack5	2022-08-07 03:15:36 +08:00
undefined	5af082eac8	core, ui, judge: rewrite http & ws layer (#352)	2022-05-03 20:22:12 +08:00
undefined	0c277f2224	ui: fix availableLangs	2022-04-30 03:10:54 +08:00
panda	84d69bc348	core&ui: add language filter (#346)	2022-04-25 22:26:08 +08:00
undefined	d10fec361c	ui: change to ts & tsx	2021-10-11 23:33:54 +08:00