From 82a63ed18e73b8e290cfeae375f06f9af594dc88 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Sun, 4 Jun 2017 09:59:13 +0100
Subject: [PATCH] Added an assert to shut PhpStorm up

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

diff --git a/src/pocketmine/Player.php b/src/pocketmine/Player.php
index 99bb3d5ec..139239600 100644
--- a/src/pocketmine/Player.php
+++ b/src/pocketmine/Player.php
@@ -841,6 +841,7 @@ class Player extends Human implements CommandSender, InventoryHolder, ChunkLoade
 			$X = null;
 			$Z = null;
 			Level::getXZ($index, $X, $Z);
+			assert(is_int($X) and is_int($Z));
 
 			++$count;