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.