From 0a566f8218bc1391a9c9b54741948951c33a6a35 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Sat, 1 Feb 2020 20:16:05 +0000
Subject: [PATCH] LevelProvider::generate() accepts class-string<Generator>,
 not any string

---
 src/pocketmine/level/format/io/LevelProvider.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/pocketmine/level/format/io/LevelProvider.php b/src/pocketmine/level/format/io/LevelProvider.php
index 68d101ae2..b35613de6 100644
--- a/src/pocketmine/level/format/io/LevelProvider.php
+++ b/src/pocketmine/level/format/io/LevelProvider.php
@@ -26,6 +26,7 @@ namespace pocketmine\level\format\io;
 use pocketmine\level\format\Chunk;
 use pocketmine\level\format\io\exception\CorruptedChunkException;
 use pocketmine\level\format\io\exception\UnsupportedChunkFormatException;
+use pocketmine\level\generator\Generator;
 use pocketmine\math\Vector3;
 
 interface LevelProvider{
@@ -54,7 +55,8 @@ interface LevelProvider{
 	 * Generate the needed files in the path given
 	 *
 	 * @param mixed[] $options
-	 * @phpstan-param array<string, mixed> $options
+	 * @phpstan-param class-string<Generator> $generator
+	 * @phpstan-param array<string, mixed>    $options
 	 *
 	 * @return void
 	 */