} } if (isset($_REQUEST["save"]) || isset($_REQUEST["reset"])) { header("Location: ./"); die(); } echo "value="" . htmlspecialchars($opts->query) . """; ?> > <br> <?php echo $opts->query; ?> - <?php printtext("page_title");?></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 "misc/header.php"; require_once "misc/tools.php"; $instances_json = json_decode(file_get_contents("instances.json"), true); $librey_instances = array_filter($instances_json['instances'], fn($n) => !$n['librey']); function