queue plugin fix + players array private

2014-07-08 21:50:32 +02:00
parent 41c19153a3
commit 7c7775e041
2 changed files with 5 additions and 1 deletions
--- a/application/core/Players/PlayerManager.php
+++ b/application/core/Players/PlayerManager.php
@ -41,6 +41,7 @@ class PlayerManager implements CallbackListener, TimerListener {
 	public $playerList = null;
 	public $adminLists = null;
 	/** @var Player[] $players */
+	/** @deprecated Use getPlayers() */
 	public $players = array();

 	/*