From ed195e1167a9af1624089e0aa2b83c14c45089db Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Thu, 23 Nov 2017 17:27:41 +0000
Subject: [PATCH] phpdoc

---
 src/pocketmine/level/Level.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/pocketmine/level/Level.php b/src/pocketmine/level/Level.php
index ed8491aee..7665d5b6b 100644
--- a/src/pocketmine/level/Level.php
+++ b/src/pocketmine/level/Level.php
@@ -145,6 +145,7 @@ class Level implements ChunkManager, Metadatable{
 	/** @var LevelProvider */
 	private $provider;
 
+	/** @var int */
 	private $worldHeight;
 
 	/** @var ChunkLoader[] */