From b96a780b507fdea32b155677182920cfb9d47264 Mon Sep 17 00:00:00 2001 From: Janusz Dobrowolski Date: Mon, 10 Mar 2008 16:33:28 +0000 Subject: [PATCH] pmWiki name conflict removing --- admin/display_prefs.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/display_prefs.php b/admin/display_prefs.php index 01ee7b68..3dd369ea 100644 --- 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.")); } -- 2.30.2