echo "<div>"; echo "<a " . (!isset($opts->engine) ? "selected" : "") . ">auto</option>"; foreach ($engines as $engine) { $selected = $opts->language == $lang_code ? "selected" : ""; ?> ><br> </div> <h2><?php printtext("settings_frontends");?></h2> <p><?php printtext("settings_frontends_description");?></p> <div class="settings-textbox-container"> <div> <span><?php printtext("settings_preferred_engine");?></span> <select name="engine"> <?php require_once "misc/header.php"; require_once "misc/tools.php"; require_once "misc/search_engine.php"; $opts = load_opts(); if ($opts->disable_api) { echo "<p>" . TEXTS["api_unavailable"] . "</p>"; die(); } $results = fetch_search_results($opts, false); if (array_key_exists("error", $results)) { http_response_code(500); } header("Content-Type: application/json"); echo json_encode($results); ?> #!/bin/sh while true; do git stash