beu 40c33de0c8 improve style of plugin menu

2024-07-14 15:25:20 +02:00

..

InstallMenu.php

Fix different interfaces elements positions when changing size settings

2024-07-13 14:47:11 +02:00

Plugin.php

updated copyright label

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

PluginManager.php

Use Chat::formatMessage in Plugins/*

2020-05-30 22:45:43 +02:00

PluginMenu.php

improve style of plugin menu

2024-07-14 15:25:20 +02:00