Beu 251988b19b add default permission check for admin commands

2023-11-25 16:07:35 +01:00

..

CommandListener.php

updated copyright label

2020-01-22 10:39:35 +01:00

CommandManager.php

add default permission check for admin commands

2023-11-25 16:07:35 +01:00

HelpManager.php

fix other paging sizes

2023-09-08 16:00:30 +02:00