Add compatibility with php 8.2

2023-01-17 10:06:56 +01:00
parent 16889f1a6a
commit 9e8432999b
8 changed files with 25 additions and 4 deletions
--- a/libs/Maniaplanet/DedicatedServer/Structures/PlayerInfo.php
+++ b/libs/Maniaplanet/DedicatedServer/Structures/PlayerInfo.php
@ -20,6 +20,8 @@ class PlayerInfo extends Player
 	/** @var bool */
 	public $isInOfficialMode;
 	/** @var int */
+	public $ladderScore;
+	/** @var int */
 	public $ladderRanking;
 	/** @var int */
 	public $spectatorStatus;