Dropdownでプレイヤーを選ばせる

dropdownplayer.php

<?php

declare(strict_types=1);

/** @var \pocketmine\Server $server */
$players = $server->getOnlinePlayers();
$options = array_map(function ($player) {
    /** @var \pocketmine\Player $player */
    return $player->getName();
}, $players);

$form = [
    "type" => "custom_form",
    "title" => "タイトル",
    "content" => [
        [
            "type" => "dropdown",
            "text" => "プレイヤーを選んでください",
            "options" => $options,
        ],
    ],
];