From 5f9ce78814453de92cb117d37e723e2d09ed4209 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Tue, 3 Dec 2019 12:08:04 +0000
Subject: [PATCH] WorldProviderManager: removed incorrect param doc this was
 used to trick phpstorm, but PHPStan doesn't like it, and it isn't
 consistently used anyway.

---
 src/world/format/io/WorldProviderManager.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/world/format/io/WorldProviderManager.php b/src/world/format/io/WorldProviderManager.php
index ddc92cde43..cd25847498 100644
--- a/src/world/format/io/WorldProviderManager.php
+++ b/src/world/format/io/WorldProviderManager.php
@@ -47,7 +47,7 @@ abstract class WorldProviderManager{
 	/**
 	 * Returns the default format used to generate new worlds.
 	 *
-	 * @return string|WritableWorldProvider
+	 * @return string
 	 */
 	public static function getDefault() : string{
 		return self::$default;