} ?> </div> </form> <?php fetch_search_results($opts, true); print_page_buttons($opts->type, $opts->query, $opts->page); ?> <?php require_once "engines/text/text.php"; $engines = get_engines(); $options = ""; $options .= "<option value="" " . $data["original_name"] . "" selected", $themes); echo $themes; ?> </select> </div> <div> <label><?php printtext("settings_special_warning");?></label><br><br> <label><?php printtext("settings_special_disabled");?></label> <input type="checkbox" name="safe_search" <?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/search_engine.php"; // Reset all cookies when resetting, or before saving new cookies if (isset($_REQUEST["reset"])) { // Removing isset($_REQUEST["save"]))