From bd7205dd64cb984c62adc128f7241ed107583d4a Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Sun, 4 Jun 2017 10:06:34 +0100
Subject: [PATCH] PhpStorm doesn't understand variable class names :(

---
 src/pocketmine/Server.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index 52fcf3515..0a0c30ae0 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -1047,7 +1047,7 @@ class Server{
 			/** @var \pocketmine\level\format\io\LevelProvider $provider */
 			$provider::generate($path, $name, $seed, $generator, $options);
 
-			$level = new Level($this, $name, $path, $provider);
+			$level = new Level($this, $name, $path, (string) $provider);
 			$this->levels[$level->getId()] = $level;
 
 			$level->initLevel();