Mocha</option> <option 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>"; } ?> <?php require_once "misc/header.php"; // Feel free to add your donation options here, but