"misc/tools.php"; $instances_json = json_decode(file_get_contents("instances.json"), true); $librey_instances = array_filter($instances_json['instances'], fn($n) => $n['librey']); $librex_instances = array_filter($instances_json['instances'], fn($n) => !$n['librey']); function list_instances($instances) { echo "<p>" . TEXTS["api_unavailable"] . "</p>"; die(); } require_once "misc/header.php"; // Feel free to add your donation options here, but please don't remove mine. ?> <title>LibreY - <?php printtext("page_title");?></title> </head> <body> <form class="search-container" action="search.php" method="get" autocomplete="off"> <h1 class="logomobile"><a class="no-decoration" href="./">Libre<span class="Y">Y</span></a></h1> <input type="text" name="q"