function showDescription( ) { var do_it = (document.getElementById('gitweb').checked == false); var inputfield = document.getElementById('description'); inputfield.disabled = do_it; } "); if (isset($_GET['repo']) && isset($repos[$_GET['repo']])) { $action = 'editrepo'; title("Zugriff auf GIT-Repository ändern"); output("

Legen Sie hier fest, welche Berechtigungen für welche SSH-Keys gelten sollen.

"); $form .= ''; } else { $action = 'newrepo'; title("Neues GIT-Repository anlegen"); output("

Geben Sie einen Namen für das neue Repository an und legen Sie fest, welche Berechtigungen für welche SSH-Keys gelten sollen.

"); $form .= '
Name des Repository'.filter_input_general($_GET['repo']).'
'; } $form .= '
Berechtigungen'; foreach ($users as $user) { $r = $rw = $rwplus = ''; if (isset($_GET['repo']) && isset($repos[$_GET['repo']])) { $permissions = $repos[$_GET['repo']]['users']; if (isset($permissions[$user])) { switch ($permissions[$user]) { case 'RW+': $rwplus = ' selected="selected"'; break; case 'RW': $rw = ' selected="selected"'; break; case 'R': $r = ' selected="selected"'; break; } } } $form .= '

'.$user.':

'; } $checked = (isset($_GET['repo']) && isset($repos[$_GET['repo']]) && isset($repos[$_GET['repo']]['users']['gitweb']) && $repos[$_GET['repo']]['users']['gitweb'] == 'R') ? ' checked="checked"' : ''; $description = (isset($_GET['repo']) && isset($repos[$_GET['repo']])) ? $repos[$_GET['repo']]['description'] : ''; $disabled = $checked ? '' : ' disabled="disabled"'; $form .= '


'; $form .= '
'; $form .= '

'; output(html_form('git_edit', 'save', 'action='.$action, $form));