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
..
2018-03-28 15:57:59 +02:00
2018-03-27 20:11:40 +02:00
2018-03-27 20:11:40 +02:00