diff --git a/prefs_forms.php b/prefs_forms.php index c5cb8d134..40ea1719f 100644 --- a/prefs_forms.php +++ b/prefs_forms.php @@ -47,6 +47,7 @@ if (isset($_POST['revert'])) { exit; } +$error = null; if ($form_display->process(false) && !$form_display->hasErrors()) { // save settings $old_settings = PMA_load_userprefs(); @@ -67,11 +68,14 @@ if ($form_display->process(false) && !$form_display->hasErrors()) { $GLOBALS['js_include'][] = 'config.js'; require './libraries/header.inc.php'; require './libraries/user_preferences.inc.php'; +if ($error) { + $error->display(); +} if ($form_display->hasErrors()) { // form has errors ?>