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

Merge branch 'next-minor'

Browse Source
This commit is contained in:
Dylan K. Taylor
2019-12-03 11:55:45 +00:00
parent 02c1dabc3d 9a67192f74
commit d3d7709ead
17 changed files with 78 additions and 50 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/world/World.php
View File

@@ -236,7 +236,7 @@ class World implements ChunkManager{
/** @var WorldTimings */
public $timings;
/** @var int */
/** @var float */
public $tickRateTime = 0;
/** @var bool */