"misc/tools.php"; if (!$opts->query) { echo '<button name="t" value="3" type="submit">', printtext("torrent_search_button"), '</button>'; } ?> <?php require_once "misc/search_engine.php"; $opts = load_opts(); function