mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-09-07 02:08:21 +00:00
Code Issues Projects Releases Wiki Activity

fix PhpStorm's screwups

Browse Source
This commit is contained in:
Dylan K. Taylor
2019-07-01 18:49:07 +01:00
parent 7aa4d974ef
commit b90be8dc5f
2 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/pocketmine/player/Player.php
View File

@ -183,7 +183,7 @@ class Player extends Human implements CommandSender, ChunkLoader, ChunkListener,
protected $permanentWindows = [];
/** @var PlayerCursorInventory */
protected $cursorInventory;
/** @var \pocketmine\crafting\CraftingGrid */
/** @var CraftingGrid */
protected $craftingGrid = null;
/** @var int */