From 49d611168f22e2878a088e7f4f7316ad18ffdb58 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Tue, 6 Oct 2020 17:54:44 +0100 Subject: [PATCH] Player: fix documented type of disconnect $quitMessage --- src/player/Player.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/player/Player.php b/src/player/Player.php index 5b8cd628e..73c9a97de 100644 --- a/src/player/Player.php +++ b/src/player/Player.php @@ -1950,8 +1950,8 @@ class Player extends Human implements CommandSender, ChunkListener, IPlayer{ * Note for plugin developers: Prefer kick() instead of this method. * That way other plugins can have a say in whether the player is removed or not. * - * @param string $reason Shown to the player, usually this will appear on their disconnect screen. - * @param TranslationContainer|string $quitMessage Message to broadcast to online players (null will use default) + * @param string $reason Shown to the player, usually this will appear on their disconnect screen. + * @param TranslationContainer|string|null $quitMessage Message to broadcast to online players (null will use default) */ public function disconnect(string $reason, $quitMessage = null, bool $notify = true) : void{ if(!$this->isConnected()){