mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-04-22 08:44:01 +00:00
Code Issues Projects Releases Wiki Activity

fix build error

Browse Source
This commit is contained in:
Dylan K. Taylor 2021-08-03 15:32:21 +01:00
parent 565cf84e1b
commit c567ed4b7a
No known key found for this signature in database
GPG Key ID: 8927471A91CAFD3D
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/player/Player.php
View File

@ -202,7 +202,8 @@ class Player extends Human implements CommandSender, ChunkListener, IPlayer{
protected ?float $lastMovementProcess = null;
protected int $inAirTicks = 0;
protected float $stepHeight = 0.6;
/** @var float */
protected $stepHeight = 0.6;
protected ?Vector3 $sleeping = null;
private ?Position $spawnPosition = null;