} if (isset($_REQUEST["save"]) || isset($_REQUEST["reset"])) { header("Location: ./"); die(); } require_once "misc/tools.php"; if (!$opts->query) { echo '<button name="t" value="3" type="submit">', printtext("torrent_search_button"), '</button>'; } ?> </div> </form> </div> <?php