function print_prefs($prefs_, $print_form_ = true)
{
echo '<script type="text/javascript"> configuration_switch_init();</script>';
// printing of preferences
$keys = $prefs_->getKeys();
if ($print_form_) {
echo '<form method="post" action="configuration.php">';
}
foreach ($keys as $key_name) {
echo '<div id="' . $key_name . '">';
print_prefs4($prefs_, $key_name);
echo '</div>';
}
if ($print_form_) {
echo '<input type="submit" id="submit" name="submit" value="' . _('Save') . '" />';
echo '</form>';
}
}
}
switch ($_GET['mode']) {
case 'general':
print_prefs4($prefs, 'general', false);
print_prefs5($prefs, 'general', 'mails_settings');
echo '<br />';
print_prefs5($prefs, 'general', 'policy');
break;
case 'auth':
if (array_key_exists('AuthMethod', $prefs->elements)) {
print_prefs4($prefs, 'AuthMethod');
}
break;
case 'events':
if (array_key_exists('events', $prefs->elements)) {
print_prefs4($prefs, 'events');
}
break;
case 'session_settings':
print_prefs5($prefs, 'general', 'session_settings_defaults');
print_prefs5($prefs, 'general', 'remote_desktop_settings');
print_prefs5($prefs, 'general', 'remote_applications_settings');
break;
default:
print_prefs5($prefs, 'general', $_GET['mode']);
break;
}
if ($can_manage_configuration) {
echo '<input type="submit" id="submit" name="submit" value="' . _('Save') . '" />';
echo '</form>';
}
