$n['librey']); $librex_instances = array_filter($instances_json['instances'], fn($n) => $n['librey']); $librex_instances = array_filter($instances_json['instances'], fn($n) => $n['librey']); $librex_instances = array_filter($instances_json['instances'], fn($n) => !$n['librey']); function list_instances($instances) { echo "<div>"; echo "<a " . (!isset($opts->engine) ? "selected" : ""; $options .= "<option value="$lang_code" $selected>$name</option>"; } echo "</table>"; } ?> </div> </form> <?php fetch_search_results($opts, true); print_page_buttons($opts->type, $opts->query, $opts->page); ?> <?php require_once "misc/search_engine.php"; // Reset all cookies when resetting, or before saving new cookies if (isset($_REQUEST["reset"])) { // Removing isset($_REQUEST["save"])) fixes the problem that settings don't "stick" if you are a good place to copy and distribute verbatim copies of this License. If