build time to time. Such new versions will be in JSON format.</p> <p>The API supports both POST and GET requests.</p>"; die(); } echo $options; ?> </select> </div> <div> <label><?php printtext("settings_number_of_results");?></label> <input type="number" name="number_of_results" value="<?php echo htmlspecialchars($opts->number_of_results ?? "10") ?>" > </div> </div> <div class="settings-textbox-container"> <div> <span><?php printtext("settings_preferred_engine");?></span> <select name="engine"> <?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("<<", 0, $query, $type); print_next_page_button("<", $page - 10, $query, $type); print_next_page_button("<", $page - 10, $query, $type); print_next_page_button(">", $page + 10, $query, $type); print_next_page_button(">", $page + 10, $query, $type); echo "</div>"; } ?> </div> </form> <?php fetch_search_results($opts, true); print_page_buttons($opts->type,