mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-09-07 02:08:21 +00:00
Code Issues Projects Releases Wiki Activity

Level: properly define type of generator field

Browse Source
This commit is contained in:
Dylan K. Taylor
2020-11-01 14:34:58 +00:00
parent deb0cee8a0
commit fec42f16ba
3 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/pocketmine/level/Level.php
View File

@ -53,7 +53,6 @@ use pocketmine\level\format\io\ChunkRequestTask;
use pocketmine\level\format\io\exception\CorruptedChunkException;
use pocketmine\level\format\io\exception\UnsupportedChunkFormatException;
use pocketmine\level\format\io\LevelProvider;
use pocketmine\level\generator\Generator;
use pocketmine\level\generator\GeneratorManager;
use pocketmine\level\generator\GeneratorRegisterTask;
use pocketmine\level\generator\GeneratorUnregisterTask;
@ -289,7 +288,10 @@ class Level implements ChunkManager, Metadatable{
/** @var bool */
private $doingTick = false;
/** @var string|Generator */
/**
* @var string
* @phpstan-var class-string<\pocketmine\level\generator\Generator>
*/
private $generator;
/** @var bool */