\n"; # Call post-change function if ($in{'theme'} ne $gtheme) { if (defined(&theme_post_change_theme)) { &theme_post_change_theme(); } } print &js_redirect("/", "top", 1500); &webmin_log('theme', undef, undef, \%in); &ui_print_footer("", $text{'index_return'});