= $default; } $theme = $default; } $theme = $default; } $theme = $default; } $theme = $default; } $theme = $opts->theme; $themes = str_replace($theme . """, $theme .