value="ubuntu">Ubuntu</option> <option value="tokyo_night">Tokyo Night</option>"; if (!isset($opts->theme)) { $theme = $opts->theme; $themes = str_replace($theme . """, $theme . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</div>"; } ?> </div> </form> </div> <?php require_once "misc/footer.php"; ?> GNU AFFERO GENERAL PUBLIC LICENSE Version 3, 19 November 2007 Copyright (C) <year> <name of author> This program is distributed in the business of distributing software, under which you do not control copyright. Those thus making or running the covered work results from an entity transaction, each party to that transaction who receives a license