<?php
require_role(ROLE_SYSTEMUSER);
include("git.php");
$section = 'git_git';
$repos = list_repos();
$users = list_users();
$foreign_users = list_foreign_users();
$action = '';
$form = '';
html_header("<script type=\"text/javascript\">
function showDescription( ) {
var do_it = (document.getElementById('gitweb').checked == false);
var inputfield = document.getElementById('description');
inputfield.disabled = do_it;
}
</script>
");
if (isset($_GET['repo']) && isset($repos[$_GET['repo']])) {
$action = 'editrepo';
title("Zugriff auf GIT-Repository ändern");
output("<p>Legen Sie hier fest, welche Berechtigungen für welche SSH-Keys gelten sollen.</p>");
$form .= '<table><tr><td>Name des Repository</td><td><input type="hidden" name="repo" value="'.filter_output_html($_GET['repo']).'" />'.filter_output_html($_GET['repo']).'</td></tr>';
} else {
$action = 'newrepo';
title("Neues GIT-Repository anlegen");
output("<p>Geben Sie einen Namen für das neue Repository an und legen Sie fest, welche Berechtigungen für welche SSH-Keys gelten sollen.</p>");
$form .= '<table><tr><td><label for="repo">Name des Repository</label></td><td><input type="text" id="repo" name="repo" /></td></tr>';
}
$form .= '<tr><td>Berechtigungen</td><td>';
foreach ($users as $user) {
$r = $rw = $rwplus = '';
if (isset($_GET['repo']) && isset($repos[$_GET['repo']])) {