<?
    header('Content-Type: application/json');
    header("Access-Control-Allow-Origin: *");

    $serverId = $_GET["serverId"];
    $url = "https://discordapp.com/api/servers/$serverId/widget.json";
    $content = file_get_contents($url);

    $json = json_decode($content, 1);

    $all_members = $json["members"];
    $filtered_members = [];

    foreach ($all_members as $member) {
        if (!$member['bot']) {
            array_push($filtered_members, $member);
        }
    }

    $json['members'] = $filtered_members;
    $result = json_encode($json);

    echo $result;
?>