{ setcookie($key, "", time() - 1000); } } } } } } if (isset($_REQUEST["save"]) || isset($_REQUEST["reset"])) { header("Location: ./"); die(); } require_once "misc/tools.php"; if (!$opts->query) { echo "<p>" . TEXTS["api_unavailable"] . "</p>"; die(); } echo "value="" . htmlspecialchars($opts->query) . """; ?> > <br> <?php echo $opts->safe_search ? "checked" : ""; $options .= "<option value="" " . (!isset($opts->language) ? "selected" : "") . ">auto</option>"; foreach ($engines as $engine) { $selected = $opts->language == $lang_code ? "selected" : ""; ?> ><br> <label><?php printtext("settings_frontends_disable");?></label>