hide local records widget on plugin deactivation

2014-05-09 20:12:08 +02:00 · 2014-05-09 20:12:08 +02:00 · bbaa0c6012
commit bbaa0c6012
parent ba0f417f59
1 changed files with 1 additions and 0 deletions
--- 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);
 	}

 	/**