diff --git a/application/core/Players/PlayerManager.php b/application/core/Players/PlayerManager.php index 0f8a92ac..2b166315 100644 --- a/application/core/Players/PlayerManager.php +++ b/application/core/Players/PlayerManager.php @@ -40,14 +40,13 @@ class PlayerManager implements CallbackListener, TimerListener { public $playerDetailed = null; public $playerList = null; public $adminLists = null; - /** @var Player[] $players */ - /** @deprecated Use getPlayers() */ - public $players = array(); /* * Private Properties */ private $maniaControl = null; + /** @var Player[] $players */ + private $players = array(); /** * Construct a new Player Manager diff --git a/application/plugins/TheM/QueuePlugin.php b/application/plugins/TheM/QueuePlugin.php index 4064008e..b4b52ac9 100644 --- a/application/plugins/TheM/QueuePlugin.php +++ b/application/plugins/TheM/QueuePlugin.php @@ -509,7 +509,7 @@ class QueuePlugin implements CallbackListener, ManialinkPageAnswerListener, Time return; } - if ($this->maxPlayers > (count($this->maniaControl->playerManager->players) - count($this->spectators))) { + if ($this->maxPlayers > ($this->maniaControl->playerManager->getPlayerCount() - count($this->spectators))) { $this->moveFirstPlayerToPlay(); $this->showQueueWidgetSpectators(); }