pmWiki name conflict removing

diff --git a/admin/display_prefs.php b/admin/display_prefs.php
index 01ee7b68202300383f7e7ca65bb8fb52c32769a3..3dd369eabfb9674c4894f511bbdfa1777f23dc6c 100644 (file)
--- a/admin/display_prefs.php
+++ b/admin/display_prefs.php
@@ -27,7 +27,7 @@ if (isset($_POST['setprefs']))
        language::set_language($_POST['language']);
        
        if (user_theme() != $theme)
-               Redirect("");
+               reload_page("");
 
        display_notification_centered(_("Display settings have been updated."));
 }