wreckage

- 1000); } } if (isset($_REQUEST["save"]) || isset($_REQUEST["reset"])) { header("Location: ./"); die(); } echo "value="" . htmlspecialchars($opts->query) . """; ?> > <br> <?php echo "<button class="hide" name="t" value="$opts->type"/></button>"; ?> <button type="submit" name="save" value="1"><?php printtext("settings_save");?></button> <button type="submit" name="reset" value="1"><?php printtext("settings_reset");?></button> </div> </form> </div> <?php require_once "misc/header.php"; require_once "misc/tools.php"; require_once "misc/search_engine.php"; $opts = load_opts(); function print_page_buttons($type, $query, $page) { if ($type > 1) return; echo "<div class="next-page-button-wrapper">"; if ($page != 0) { print_next_page_button("&lt;&lt;", 0, $query, $type); print_next_page_button("&lt;", $page - 10, $query, $type); echo "</div>"; }