webinterface.git

1) <?php
2) require_role(ROLE_SYSTEMUSER);
3) 
4) include("git.php");
5) 
6) $section = 'git_git';
7) 

8) $repos = list_repos();

9) 

10) $users = list_users();

11) 

12) $action = '';
13) $form = '';
14) 
15) if (isset($_GET['repo']) && isset($repos[$_GET['repo']])) {
16)   $action = 'editrepo';
17)   title("Zugriff auf GIT-Repository ändern");
18)   output("<p>Legen Sie hier fest, welche Berechtigungen für welche SSH-Keys gelten sollen.</p>");
19)   $form .= '<table><tr><td>Name des Repository</td><td><input type="hidden" name="repo" value="'.filter_input_general($_GET['repo']).'" />'.filter_input_general($_GET['repo']).'</td></tr>';
20) } else {
21)   $action = 'newrepo';
22)   title("Neues GIT-Repository anlegen");
23)   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>");
24)   $form .= '<table><tr><td><label for="repo">Name des Repository</label></td><td><input type="text" id="repo" name="repo" /></td></tr>';
25) }
26) 
27) $form .= '<tr><td>Berechtigungen</td><td>';
28) foreach ($users as $user) {
29)   $r = $rw = $rwplus = '';
30)   if (isset($_GET['repo']) && isset($repos[$_GET['repo']])) {
31)     $repo = $repos[$_GET['repo']];
32)     if (isset($repo[$user])) {
33)       switch ($repo[$user]) {
34)         case 'RW+': $rwplus = ' selected="selected"';
35)                     break;
36)         case 'RW': $rw = ' selected="selected"';
37)                    break;
38)         case 'R': $r = ' selected="selected"';
39)                   break;
40)       }
41)     }
42)   }
43)   $form .= $user.': <select name="'.$user.'"><option value="-">Zugriff verweigern</option><option value="r"'.$r.'>Lesezugriff erlauben</option><option value="rw"'.$rw.'>Lese- und Schreibzugriff</option><option value="rwplus"'.$rwplus.'>erweiterter Lese- und Schreibzugriff (inkl. &quot;rewind&quot;)</option></select><br />';
44) }
45) $form .= '</td></tr></table>';
46) $form .= '<p><input type="submit" value="Speichern" /></p>';
47) 
48) output(html_form('git_edit', 'save', 'action='.$action, $form));