$options .= "<option value="$engine" $selected>$engine</option>"; } echo "<a " . $data["original_name"] . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</div>"; } ?> <?php require_once "misc/footer.php"; ?> GNU AFFERO GENERAL PUBLIC LICENSE Version