side_menu/lib/Settings
Simon Vieille 37e00c51c3
add the 'top-menu-mouse-over-hidden-label'
2022-12-26 12:56:32 +01:00
..
Admin.php add the 'top-menu-mouse-over-hidden-label' 2022-12-26 12:56:32 +01:00
AdminSection.php PSR 2 compliance 2021-02-03 10:15:59 +01:00
Personal.php split long lines 2022-12-04 00:45:29 +01:00
PersonalSection.php hide personal settings access when settings are forced by the administrator 2021-08-11 11:57:43 +02:00