. """; ?> > <br> <?php echo $opts->disable_special ? "checked" : ""; ?> ><br> </div> <h2><?php printtext("settings_frontends");?></h2> <p><?php printtext("settings_frontends_description");?></p> <div class="settings-textbox-container"> <div> <span><?php printtext("settings_preferred_engine");?></span> <select name="engine"> <?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 list_instances($instances) { echo "<div>"; echo "<a " . $data["original_name"] . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</div>"; }