Add members.json and use it on the homepage

index.php

@@ -9,8 +9,11 @@
 
     <h3>member tildes</h3>
     <ul>
-        <li><a href="https://tilde.team">tilde.team</a></li>
-        <li><a href="https://tilde.town">tilde.town</a></li>
-        <li><a href="https://yourtilde.com">yourtilde.com</a></li>
+<?php
+    $members = json_decode(file_get_contents("members.json"))->members;
+    foreach($members as $member) {
+        echo "<li><a href='{$member->link}'>{$member->name}</a></li>\n";
+    }
+?>
     </ul>
 <?php include 'footer.php'; ?>

members.json

@@ -0,0 +1 @@
+{"members": [{"private_channel": "#town", "sysadmins": [["vilmibm", "https://tilde.town/~vilmibm"]], "link": "https://tilde.town", "name": "tilde.town"}, {"private_channel": "#team", "sysadmins": [["ben", "https://ben.tilde.team/"], ["khuxkm", "https://khuxkm.tilde.team/"]], "link": "https://tilde.team", "name": "tilde.team"}, {"private_channel": "#your", "sysadmins": [["deepend", "https://yourtilde.com/~deepend/"]], "link": "https://yourtilde.com", "name": "yourtilde.com"}]}