$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 "