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-07-22 22:04:16 +0400
committerCrack <piotrprz@gmail.com>2010-07-22 22:04:16 +0400
commit2e55d85ab5adff22e6c766b2c857fd60a62416cd (patch)
tree571b4c47605be80000e5b31509ff0d1a2c1fcfe5 /prefs_forms.php
parentc8b6acdf59b9c18d94abcbb58af216683bf23658 (diff)
Developers tab no longer depends on UserprefsDisallow, introduced UserprefsDeveloperTab setting
Diffstat (limited to 'prefs_forms.php')
-rw-r--r--prefs_forms.php13
1 files changed, 2 insertions, 11 deletions
diff --git a/prefs_forms.php b/prefs_forms.php
index 2ff08fca84..28d3fce5c6 100644
--- a/prefs_forms.php
+++ b/prefs_forms.php
@@ -27,17 +27,8 @@ require_once './libraries/user_preferences.inc.php';
$form_display = new FormDisplay();
foreach ($forms[$form_param] as $form_name => $form) {
// skip Developer form if no setting is available
- if ($form_name == 'Developer') {
- $show = false;
- foreach ($form as $field_name) {
- if (array_search($field_name, $GLOBALS['cfg']['UserprefsDisallow']) === false) {
- $show = true;
- break;
- }
- }
- if (!$show) {
- continue;
- }
+ if ($form_name == 'Developer' && !$GLOBALS['cfg']['UserprefsDeveloperTab']) {
+ continue;
}
$form_display->registerForm($form_name, $form);
}