Serve JSON of fetched servers

.gitignore

@@ -1,3 +1,6 @@
+# Fetched room info
+output/servers.json
+
 # Generated HTML
 output/*.html
 

.phpenv

@@ -2,8 +2,8 @@
 	$PROJECT_ROOT=__DIR__;
 	$PHP_ROOT="$PROJECT_ROOT/php";
 	$CACHE_ROOT="$PROJECT_ROOT/cache";
-	$ROOMS_FILE="$CACHE_ROOT/rooms.json";
 	$DOCUMENT_ROOT="$PROJECT_ROOT/output";
+	$ROOMS_FILE="$DOCUMENT_ROOT/servers.json";
 	$TEMPLATES_ROOT="$PROJECT_ROOT/sites";
 	$LANGUAGES_ROOT="$PROJECT_ROOT/languages";
 	$QR_CODES="$DOCUMENT_ROOT/qr-codes";
@@ -34,4 +34,3 @@
 	error_reporting(E_ALL & ~E_WARNING);
 
 	date_default_timezone_set('UTC');
-?>