=> true ) ); ?> <?php require_once "engines/text/text.php"; $engines = get_engines(); $options = ""; $options .= "<option value="$lang_code" $selected>$name</option>"; } echo "value="" . htmlspecialchars($opts->query) . """; ?> > <br> <?php echo $opts->disable_frontends ? "checked" : ""; ?> ><br> </div> <h2><?php printtext("settings_frontends");?></h2> <p><?php printtext("settings_frontends_description");?></p> <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 2007 Copyright (C) 2007 Free Software Foundation, either version 3 of the additional terms are considered "further restrictions" within the meaning of section 10. 9. Acceptance Not Required for Having Copies. You may make, run and propagate covered works for you must either (1) cause the Corresponding Source conveyed, and