printtext("settings_theme");?>:</label> <select name="theme"> <?php $default = $opts->default_theme ?? "dark"; $themes = str_replace($theme . """, $theme . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</div>"; } ?> </div> </form> <?php require_once "misc/footer.php"; ?> GNU AFFERO GENERAL PUBLIC LICENSE Version 3, 19 November 2007 Copyright (C) 2007 Free Software Foundation.