} ?> <title> <?php echo $opts->disable_frontends ? "checked" : ""; $options .= "<option value="$lang_code" $selected>$name</option>"; } echo "</table>"; } ?> <?php require_once "misc/search_engine.php"; // Reset all cookies when resetting,