Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCrack <piotrprz@gmail.com>2010-08-02 00:52:15 +0400
committerCrack <piotrprz@gmail.com>2010-08-02 00:52:15 +0400
commit279724d6f85f0fe3eb4bb59665e7f01ce8d1b593 (patch)
tree63a8db22d9c4beebc1b010d857e1cdf70e809428 /prefs_manage.php
parent9a733070032a5f00f368c85450e8000fa5e02aca (diff)
bugfix: user preferences don't work correctly without output buffering
Diffstat (limited to 'prefs_manage.php')
-rw-r--r--prefs_manage.php10
1 files changed, 6 insertions, 4 deletions
diff --git a/prefs_manage.php b/prefs_manage.php
index bcef4bef86..52a33f0840 100644
--- a/prefs_manage.php
+++ b/prefs_manage.php
@@ -18,6 +18,8 @@ require_once './libraries/config/Form.class.php';
require_once './libraries/config/FormDisplay.class.php';
require './libraries/config/user_preferences.forms.php';
+PMA_userprefs_pageinit();
+
$error = '';
if (isset($_POST['submit_export']) && filter_input(INPUT_POST, 'export_type') == 'text_file') {
// export to JSON file
@@ -103,8 +105,8 @@ if (isset($_POST['submit_export']) && filter_input(INPUT_POST, 'export_type') ==
}
if (!$all_ok) {
// mimic original form and post json in a hidden field
- require_once './libraries/header.inc.php';
- require_once './libraries/user_preferences.inc.php';
+ require './libraries/header.inc.php';
+ require './libraries/user_preferences.inc.php';
$msg = PMA_Message::warning(__('Configuration contains incorrect data for some fields.'));
$msg->display();
echo '<div class="config-form">';
@@ -205,8 +207,8 @@ if (isset($_POST['submit_export']) && filter_input(INPUT_POST, 'export_type') ==
}
$GLOBALS['js_include'][] = 'config.js';
-require_once './libraries/header.inc.php';
-require_once './libraries/user_preferences.inc.php';
+require './libraries/header.inc.php';
+require './libraries/user_preferences.inc.php';
?>
<script type="text/javascript">
<?php