// ------------------------------------------------------------------ if (api_get_setting('user_roles') == 'true') { // course roles that are assigned to the user $current_user_role_permissions_of_user = get_roles_permissions('user', $user_id); $inherited_permissions = permission_array_merge($inherited_permissions, $current_user_role_permissions_of_user); // NOTE: deze array moet nog gemerged worden met de $inherited_permissions array // (heet momenteel nog $current_group_permissions_of_user omdat voorlopig enkel de // groepsge�rfde permissions in beschouwing worden genomen // dit moet ook de rol permissies van rollen die toegekend worden aan een gebruiker // en de rol permissies van rollen die toegekend worden aan de groepen van een gebruiker // omvatten. // NOTE: checken als de rollen brol wel degelijk geactiveerd is voordat we dit allemaal // ophalen. // platform roles that are assigned to the user $current_user_role_permissions_of_user = get_roles_permissions('user', $user_id, 'platform'); $inherited_permissions = permission_array_merge($inherited_permissions, $current_user_role_permissions_of_user); } // ------------------------------------------------------------------ // RETRIEVING THE PERMISSIONS OF THE ROLES OF THE GROUPS OF THE USER // ------------------------------------------------------------------ if (api_get_setting('group_roles') == 'true') { // NOTE: DIT MOET NOG VERDER UITGEWERKT WORDEN foreach ($groups_of_user as $group) { $this_current_group_role_permissions_of_user = get_roles_permissions('user', $user_id); //$inherited_permissions[$tool][]=$permission; } } echo "<form method=\"post\" action=\"" . str_replace('&', '&', $_SERVER['REQUEST_URI']) . "\">"; // --------------------------------------------------- // DISPLAYING THE ROLES LIST // ---------------------------------------------------
} if (isset($result_message)) { Display::display_normal_message($result_message); } // --------------------------------------------------- // RETRIEVING THE PERMISSIONS // --------------------------------------------------- $current_group_permissions = array(); $current_group_permissions = get_permissions('group', $group_id); // @todo current group permissions and current role permissions // --------------------------------------------------- // INHERITED PERMISSIONS (group roles) // --------------------------------------------------- $group_course_roles_permissions = get_roles_permissions('group', $group_id, 'course'); $group_platform_roles_permissions = get_roles_permissions('group', $group_id, 'platform'); $inherited_permissions = permission_array_merge($group_course_roles_permissions, $group_platform_roles_permissions); // --------------------------------------------------- // LIMITED OR FULL // --------------------------------------------------- $current_group_permissions = limited_or_full($current_group_permissions); $inherited_permissions = limited_or_full($inherited_permissions); if (api_get_setting('permissions') == 'limited') { $header_array = $rights_limited; } if (api_get_setting('permissions') == 'full') { $header_array = $rights_full; } echo "<form method=\"post\" action=\"" . str_replace('&', '&', $_SERVER['REQUEST_URI']) . "\">"; // --------------------------------------------------- // DISPLAYING THE ROLES LIST // ---------------------------------------------------