function work($scope, $username, $repository, $developer) { // Get some basic data $network = get_network($username, $repository); $collaborators = get_collaborators($username, $repository); if ($network === false || $collaborators === false) { echo "Error: failed to retrieve network or collaborators\n"; return 1; } switch ($scope) { case 'collaborators': $remotes = array_intersect_key($network, $collaborators); break; case 'organisation': $remotes = array_intersect_key($network, get_organisation_members($username)); break; case 'contributors': $remotes = array_intersect_key($network, get_contributors($username, $repository)); break; case 'network': $remotes = $network; break; default: show_usage(); } if (file_exists('.git')) { add_remote($username, $repository, isset($collaborators[$developer])); } else { clone_repository($username, $repository, isset($collaborators[$developer])); } // Add private security repository for developers if ($username == 'phpbb' && $repository == 'phpbb3' && isset($collaborators[$developer])) { run("git remote add $username-security " . get_repository_url($username, "$repository-security", true)); } // Skip blessed repository. unset($remotes[$username]); foreach ($remotes as $remote) { add_remote($remote['username'], $remote['repository'], $remote['username'] == $developer); } run('git remote update'); }
<div id="users"></div> <span class="basic-grey-text">Может изменять этот документ</span> <input type="checkbox" name="can_modify" value="1"> <input type="submit" name="add_con" value="Добавить сотрудника"> </form> </body> </html> '; $users = get_users($_SESSION['ID']); $users_string = '<select name="con_id"><option enabled> Выберите сотрудника</option>'; foreach ($users['ID'] as $i => $user) { $users_string .= '<option value="' . $users['ID'][$i] . '">' . $users['SURNAME'][$i] . ' ' . $users['NAME'][$i] . '</option>'; } $users_string .= '</select>'; set_element_html('users', $users_string); $contributors = get_contributors($_GET['document_id']); foreach ($contributors['CONTRIBUTOR'] as $i => $contributor) { $user = get_user($contributors['CONTRIBUTOR'][$i]); if ($contributors['WATCH_ONLY'][$i] == 1) { $watch_string = 'просмотр'; } else { if ($contributors['WATCH_ONLY'][$i] == 2) { $watch_string = 'просмотр и редактирование'; } else { $watch_string = 'автор'; } } echo '<div class="basic-grey">'; if ($contributors['WATCH_ONLY'][$i] == 3) { echo '<b>' . $user['SURNAME'] . ' ' . $user['NAME'] . '</b> (' . $watch_string . ') </br>'; } else {