?? ""); echo ">"; echo "</div>"; } ?> <title> <?php echo $opts->disable_frontends ? "checked" : ""; $options .= "<option value="$lang_code" $selected>$name</option>"; } echo $options; ?> </select> </div> </div> <div class="settings-textbox-container"> <div> <span><?php printtext("settings_preferred_engine");?></span> <select name="engine"> <?php require_once "misc/footer.php"; ?> GNU AFFERO GENERAL PUBLIC LICENSE Version 3, 19 November