webinterface.git

1) <?php
2) require_role(ROLE_SYSTEMUSER);
3) require_once('inc/security.php');
4) 
5) include('git.php');
6) $section = 'git_git';
7) 
8) if (isset($_GET['repo'])) {
9)   $repos = list_repos();
10)   if (!array_key_exists($_GET['repo'], $repos)) {
11)     system_failure("Es sollte ein unbekanntes Repository gelöscht werden!");
12)   }
13) 
14)   $sure = user_is_sure();
15)   if ($sure === NULL)
16)   {
17)     are_you_sure("repo={$_GET['repo']}", '<p>Soll das GIT-Repository »'.$_GET['repo'].'« wirklich gelöscht werden?</p>
18)     <p>Alle Inhalte die in diesem Repository gespeichert sind, werden gelöscht!</p>');
19)   }
20)   elseif ($sure === true)
21)   {

22)     delete_repo($_GET['repo']);