PHP RadioBrowserApi DNS-lookup

<?php

const SERVERS_DNS = 'all.api.radio-browser.info';

function getServers(): array
{
    $serversFromDns = dns_get_record(SERVERS_DNS, DNS_ANY);
    $serversAll = array_reduce($serversFromDns, function ($result, $record) {
        $ip = isset($record['ip']) ? $record['ip'] : $record['ipv6'];
        $host = gethostbyaddr($ip);

        if ($host !== false) {
            $result[] = $host;
        }

        return $result;
    }, []);

    return array_unique($serversAll);
}

function getOneRandomServer(): ?string
{
    $servers = getServers();
    if (count($servers) === 0) { return null; }

    $picked = mt_rand(0, count($servers) - 1);
    return $servers[$picked];
}

$server = getOneRandomServer();

echo 'Server picked: ' . $server;