<?php fetch_search_results($opts, true); print_page_buttons($opts->type, $opts->query, $opts->page); ?> <?php require_once "misc/header.php"; require_once "misc/tools.php"; require_once "misc/search_engine.php"; require_once "locale/localization.php"; $opts = load_opts(); function print_page_buttons($type, $query, $page) { if ($type > 1)