From 945a2598b741726c11cd6cc611f6d38b47f366c4 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Tue, 6 Oct 2020 17:55:32 +0100 Subject: [PATCH] Player: fix documented type of kick $quitMessage --- src/player/Player.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/player/Player.php b/src/player/Player.php index 73c9a97de..5ffe4fffb 100644 --- a/src/player/Player.php +++ b/src/player/Player.php @@ -1925,7 +1925,7 @@ class Player extends Human implements CommandSender, ChunkListener, IPlayer{ /** * Kicks a player from the server * - * @param TranslationContainer|string $quitMessage + * @param TranslationContainer|string|null $quitMessage */ public function kick(string $reason = "", $quitMessage = null) : bool{ $ev = new PlayerKickEvent($this, $reason, $quitMessage ?? $this->getLeaveMessage());