axelalex2 f39b14ba61 Update PluginMenu.php to partly fix issue #177 (#179) ... This update partly fixes the issue https://github.com/ManiaControl/ManiaControl/issues/177 in the plugin activation/deactivation/changing case. It's not the perfect code, because it should be fixed inside core/Plugins/PluginManager.php, but it fixes the issue for now.		2018-06-05 20:47:36 +02:00
..
Admin	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Bills	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Callbacks	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Commands	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Communication	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Configurator	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Database	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Files	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
General	added jsonserializable interface / trait	2017-04-04 19:40:31 +02:00
ManiaExchange	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Manialinks	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Maps	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Players	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Plugins	Update PluginMenu.php to partly fix issue #177 (#179)	2018-06-05 20:47:36 +02:00
Script	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Server	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Settings	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Statistics	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Update	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Utils	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
AutoLoader.php	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Chat.php	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
ErrorHandler.php	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
Logger.php	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00
ManiaControl.php	Updated Copyright to 2018	2018-03-27 20:11:40 +02:00