diff --git a/src/player/Player.php b/src/player/Player.php index ddea775a2..2548515ef 100644 --- a/src/player/Player.php +++ b/src/player/Player.php @@ -133,6 +133,7 @@ use pocketmine\world\World; use Ramsey\Uuid\UuidInterface; use function abs; use function array_map; +use function array_shift; use function assert; use function count; use function explode;