$permissions) { foreach ($permissions as $permission) { $inherited_group_permissions[$tool][] = $permission; } } } $inherited_permissions = $inherited_group_permissions; // RETRIEVING THE PERMISSIONS OF THE ROLES OF THE USER 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; } } // LIMITED OR FULL $current_user_permissions = limited_or_full($current_user_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 "