mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-04-21 16:24:05 +00:00
Code Issues Projects Releases Wiki Activity

WorldManager: fixed missing initializer for $defaultWorld

Browse Source
This commit is contained in:
Dylan K. Taylor 2022-04-28 15:38:20 +01:00
parent 20ff5d5a3d
commit 5cf572892f
No known key found for this signature in database
GPG Key ID: 8927471A91CAFD3D
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/world/WorldManager.php
View File

@ -57,7 +57,7 @@ use function trim;
class WorldManager{
/** @var World[] */
private array $worlds = [];
private ?World $defaultWorld;
private ?World $defaultWorld = null;
private bool $autoSave = true;
private int $autoSaveTicks = 6000;