Marc Alexander e9720f5545

Merge branch '3.3.x'

2021-12-03 21:08:15 +01:00

..

config_text.php

…

config.php

…

module.php

[ticket/16345] Small improvements

2020-08-14 08:29:06 +00:00

permission.php

Merge branch '3.3.x'

2021-12-03 21:08:15 +01:00

tool_interface.php

…