Player: fixed type of loadQueue field

This commit is contained in:
Dylan K. Taylor
2021-08-04 21:17:44 +01:00
parent 61b7faae08
commit b31dce2119
2 changed files with 4 additions and 6 deletions

View File

@ -184,7 +184,10 @@ class Player extends Human implements CommandSender, ChunkListener, IPlayer{
* @phpstan-var array<int, UsedChunkStatus>
*/
protected array $usedChunks = [];
/** @var bool[] chunkHash => dummy */
/**
* @var true[] chunkHash => dummy
* @phpstan-var array<int, true>
*/
protected array $loadQueue = [];
protected int $nextChunkOrderRun = 5;