From 9eebfa7cc30c8a5ac39f192c79023131623ad4b4 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Thu, 30 Jan 2020 21:43:00 +0000
Subject: [PATCH] populate missing array value types in root namespace

---
 src/pocketmine/Achievement.php | 3 +++
 src/pocketmine/CrashDump.php   | 3 +++
 src/pocketmine/Server.php      | 3 ++-
 3 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/pocketmine/Achievement.php b/src/pocketmine/Achievement.php
index 365e27349..0e732879a 100644
--- a/src/pocketmine/Achievement.php
+++ b/src/pocketmine/Achievement.php
@@ -119,6 +119,9 @@ abstract class Achievement{
 		return false;
 	}
 
+	/**
+	 * @param string[] $requires
+	 */
 	public static function add(string $achievementId, string $achievementName, array $requires = []) : bool{
 		if(!isset(Achievement::$list[$achievementId])){
 			Achievement::$list[$achievementId] = [
diff --git a/src/pocketmine/CrashDump.php b/src/pocketmine/CrashDump.php
index 530a8d7a8..72d7779eb 100644
--- a/src/pocketmine/CrashDump.php
+++ b/src/pocketmine/CrashDump.php
@@ -144,6 +144,9 @@ class CrashDump{
 		return $this->encodedData;
 	}
 
+	/**
+	 * @return mixed[]
+	 */
 	public function getData() : array{
 		return $this->data;
 	}
diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index 9e5e5cfb3..44a0e6c9f 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -977,6 +977,7 @@ class Server{
 	 * Generates a new level if it does not exist
 	 *
 	 * @param string|null $generator Class name that extends pocketmine\level\generator\Generator
+	 * @param mixed[]     $options
 	 */
 	public function generateLevel(string $name, int $seed = null, $generator = null, array $options = []) : bool{
 		if(trim($name) === "" or $this->isLevelGenerated($name)){
@@ -1997,7 +1998,7 @@ class Server{
 	}
 
 	/**
-	 * @param array|null $trace
+	 * @param mixed[][]|null $trace
 	 *
 	 * @return void
 	 */