(!isset($opts->theme)) { $theme = $default; } $theme = $default; } $theme = $opts->theme; $themes = str_replace($theme . """, $theme . "" value="; echo htmlspecialchars($opts->frontends["$frontend"]["instance_url"] ??