\n"; print "$text{'change_restart'}\n"; &reload_miniserv(); print "$text{'change_done'}
\n"; if ($access{'theme'} && ($newtheme ne $oldtheme || $newoverlay ne $oldoverlay)) { if (defined(&theme_post_change_theme)) { &theme_post_change_theme(); } print "$text{'change_redirect'}\n"; print &js_redirect("/", "top"); print "$text{'change_done'}
\n"; } else { &ui_print_footer("", $text{'index'}); }