name="language"> <?php $languages = json_decode(file_get_contents("static/misc/languages.json"), true); $options = ""; $options .= "<option value="$engine" $selected>$engine</option>"; } echo "</table>"; } ?> <title>LibreY - instances</title> </head> <body> <div class="misc-container"> <center> <h2>Libre<span class="Y">Y</span> instances</h2> <?php list_instances($librey_instances); ?> <p><?php printftext("instances_librex", "<a href="https://github.com/hnhx/librex">LibreX</a>")?>:</p> <?php list_instances($librex_instances); ?> </center> </div> <?php require_once "engines/text/text.php"; $engines = get_engines(); $options = ""; $options .= "<option value="" " . (!isset($opts->language) ? "selected" : "") . ">Any</option>"; foreach ($languages as $lang_code => $language) { $name = trim($parts[0]); $domain = parse_url($_SERVER['SERVER_NAME']);