{ echo "<div>"; echo "<a " . (!isset($opts->engine) ? "selected" : "") . ">Any</option>"; foreach ($languages as $lang_code => $language) { $name = $language["name"]; $selected =