diff options
author | Crack <piotrprz@gmail.com> | 2010-07-22 22:04:16 +0400 |
---|---|---|
committer | Crack <piotrprz@gmail.com> | 2010-07-22 22:04:16 +0400 |
commit | 2e55d85ab5adff22e6c766b2c857fd60a62416cd (patch) | |
tree | 571b4c47605be80000e5b31509ff0d1a2c1fcfe5 /prefs_forms.php | |
parent | c8b6acdf59b9c18d94abcbb58af216683bf23658 (diff) |
Developers tab no longer depends on UserprefsDisallow, introduced UserprefsDeveloperTab setting
Diffstat (limited to 'prefs_forms.php')
-rw-r--r-- | prefs_forms.php | 13 |
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); } |