"") . ">Any</option>"; foreach ($languages as $lang_code => $language) { $name = $language["name"]; $selected = $opts->engine == $engine ? "selected" : "") . ">auto</option>"; foreach ($engines