12     $user = array();
14         $user['groups'] = array();
16         $user['groups'] = $INFO['userinfo']['grps'];
17         $user['name'] = $_SERVER['REMOTE_USER'];
19     array_push($user['groups'], 'ALL');
20     return $user;
29 function sxs_check_action_perms($action, $perms, $user) {  argument
48           in_array($user['name'], $allowed_users)) {
51         foreach ($user['groups'] as $group) {
65 function sxs_button($action, $perms, $user) {  argument
67     if (sxs_check_action_perms($action, $perms, $user)) {
84 function sxs_sitecmds($perms, $user) {  argument
100             sxs_button($command, $perms, $user);