<?php

$list = json_decode(file_get_contents($_SERVER['DOCUMENT_ROOT'] . "/data/gdapd/members.json"), true);

$data = [
    "count" => count($list),
    "ponies" => array_values(array_map(function ($i) {
        return [
            "url" => $i["avatar_url"] ?? "",
            "label" => $i["display_name"] ?? $i["name"]
        ];
    }, $list))
];

header("Content-Type: application/json");
die(json_encode($data, JSON_PRETTY_PRINT));