From bb230c5812d03b8340f3d34bc13d24c8eaf68714 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Fri, 14 Jul 2017 14:13:04 +0100
Subject: [PATCH] Shut up PhpStorm

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

diff --git a/src/pocketmine/Player.php b/src/pocketmine/Player.php
index 3a550f784..66cf788fd 100644
--- a/src/pocketmine/Player.php
+++ b/src/pocketmine/Player.php
@@ -3826,6 +3826,7 @@ class Player extends Human implements CommandSender, ChunkLoader, IPlayer{
 	public function removeWindow(Inventory $inventory){
 		$inventory->close($this);
 		if($this->windows->contains($inventory)){
+			/** @var int $id */
 			$id = $this->windows[$inventory];
 			$this->windows->detach($this->windowIndex[$id]);
 			unset($this->windowIndex[$id]);