populate missing array value types in root namespace

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] = [

src/pocketmine/CrashDump.php

@@ -144,6 +144,9 @@ class CrashDump{
 		return $this->encodedData;
 	}
 
+	/**
+	 * @return mixed[]
+	 */
 	public function getData() : array{
 		return $this->data;
 	}

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
 	 */