fix many PHP 8.4 compatibility issues

2025-05-26 22:50:03 +02:00
parent 03a991cd50
commit 7a8d9f2b0b
59 changed files with 137 additions and 98 deletions
--- a/core/Manialinks/CustomUIManager.php
+++ b/core/Manialinks/CustomUIManager.php
@ -75,7 +75,7 @@ class CustomUIManager implements CallbackListener, TimerListener, UsageInformati
 	 *
 	 * @param Player $player
 	 */
-	public function updateManialink(Player $player = null) {
+	public function updateManialink(?Player $player = null) {
 		$this->maniaControl->getManialinkManager()->sendManialink($this->customUI, $player);
 	}