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