/ 10 + 10 > $i; $i++) print_next_page_button($i + 1, $i * 10, $query, $type); } for ($i=$page / 10; $page / 10 + 10 > $i; $i++) print_next_page_button($i + 1, $i * 10, $query, $type); echo "</div>"; } ?> <?php require_once "misc/search_engine.php"; require_once "locale/localization.php"; $opts = load_opts(); if ($opts->disable_api) { echo "<p>Example API request: <a href="./api.php?q=gentoo&p=2&t=0">./api.php?q=gentoo&p=2&t=0</a></p> <br/> <p>"q" is the number of the covered work occurring solely as a