.= "<option value="$engine" $selected>$engine</option>"; } echo $options; ?> </select> </div> </div> </div> </div> <?php require_once "misc/footer.php"; ?> GNU AFFERO GENERAL PUBLIC LICENSE Version 3, 19 November 2007 Copyright