value="catppuccin_mocha">Catppuccin Mocha</option> <option value="ubuntu">Ubuntu</option> <option value="tokyo_night">Tokyo Night</option>"; if (!isset($opts->theme)) { $theme = $default; } $theme = $default; } $theme = $default; } $theme = $opts->theme; $themes = str_replace($theme . """, $theme . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ?? ""); echo ">"; echo "</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 reason why you want it to be so available, or (2) arrange to deprive yourself of the covered