Beu 8b3e624d1c fix other paging sizes		2023-09-08 16:00:30 +02:00
..
InstallMenu.php	Fix various interfaces to adapt with different sizes	2023-09-08 12:19:12 +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	fix other paging sizes	2023-09-08 16:00:30 +02:00