minor improvements

2017-02-04 11:41:31 +01:00
parent 2e50a757fd
commit 8dd3d9bc7d
7 changed files with 22 additions and 6 deletions
--- a/core/Admin/AdminLists.php
+++ b/core/Admin/AdminLists.php
@ -37,6 +37,9 @@ class AdminLists implements ManialinkPageAnswerListener, CallbackListener {
 	 */
 	private $adminListShown = array();

+	/** @var ManiaControl $maniaControl */
+	private $maniaControl;
+
 	/**
 	 * Construct a new PlayerList instance
 	 *