} echo $options; ?> </select> </div> <div> <label><?php printtext("settings_number_of_results");?></label> <input type="number" name="number_of_results" value="<?php echo htmlspecialchars($opts->number_of_results ?? "10") ?>" > </div> </div> <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"; if (!$opts->query) { echo '<button name="t" value="3" type="submit">', printtext("torrent_search_button"), '</button>'; } ?> <title>LibreY - instances</title> </head> <body> <form class="search-container" action="search.php" method="get" autocomplete="off"> <h1>Libre<span class="Y">Y</span></h1> <input type="text" name="q" autofocus/> <input type="hidden" name="p" value="0"/> <input type="hidden" name="p" value="0"> <div class="sub-search-button-wrapper"> <?php $categories = array("general", "images", "videos", "torrents", "tor", "maps", "binternet"); foreach ($categories as $category) { $category_index = array_search($category, $categories);