From bbaa0c6012d271cea7bf4f829d5933ad0264c774 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffen=20Schro=CC=88der?= Date: Fri, 9 May 2014 20:12:08 +0200 Subject: [PATCH] hide local records widget on plugin deactivation --- application/plugins/MCTeam/LocalRecordsPlugin.php | 1 + 1 file changed, 1 insertion(+) diff --git a/application/plugins/MCTeam/LocalRecordsPlugin.php b/application/plugins/MCTeam/LocalRecordsPlugin.php index d8c89dae..87bb43cd 100644 --- a/application/plugins/MCTeam/LocalRecordsPlugin.php +++ b/application/plugins/MCTeam/LocalRecordsPlugin.php @@ -170,6 +170,7 @@ class LocalRecordsPlugin implements CallbackListener, CommandListener, TimerList * @see \ManiaControl\Plugins\Plugin::unload() */ public function unload() { + $this->maniaControl->manialinkManager->hideManialink(self::MLID_RECORDS); } /**