Simon Vieille 3975f3be28 fix #63: add a new side menu with categories		2021-10-21 21:37:32 +02:00
..
Admin.php	fix #63: add a new side menu with categories	2021-10-21 21:37:32 +02:00
AdminSection.php	PSR 2 compliance	2021-02-03 10:15:59 +01:00
Personal.php	add option: the menu is enabled by default for users	2020-10-19 13:44:07 +02:00
PersonalSection.php	hide personal settings access when settings are forced by the administrator	2021-08-11 11:57:43 +02:00