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 5cbbe5e1b3 [core] remove is_logged_in ... This was only used in a couple of places, and user classes are more useful		2024-05-04 16:06:08 +01:00
..
config.php	Namespaces are one honking great idea—let's do more of those!	2023-01-10 22:44:09 +00:00
info.php	[extensions] have extension categories, remove versions	2024-02-10 19:42:28 +00:00
main.php	[core] remove is_logged_in	2024-05-04 16:06:08 +01:00
script.js	drop php7.3 support, make use of 7.4 features	2021-03-14 23:43:50 +00:00
theme.php	fewer globals	2024-02-10 01:55:05 +00:00