This repository has been archived on 2024-09-05. You can view files and clone it, but cannot push or open issues or pull requests.

Shish 5735320a95 [extensions] have extension categories, remove versions		2024-02-10 19:42:28 +00:00
..
info.php	[extensions] have extension categories, remove versions	2024-02-10 19:42:28 +00:00
main.php	level 7 typing	2024-01-20 23:27:34 +00:00
script.js	drop php7.3 support, make use of 7.4 features	2021-03-14 23:43:50 +00:00
style.css	[css] remove more dead css, make more extension CSS be specific	2024-01-01 16:21:43 +00:00