\n";
echo "\t\t| \n";
echo get_lang($tool);
echo "\t\t | \n";
foreach ($header_array as $key => $value) {
echo "\t\t\n";
if (in_array($value, $rights)) {
if ($setting_visualisation == 'checkbox') {
//display_checkbox_matrix($current_group_permissions, $tool, $value);
display_checkbox_matrix(
$current_group_permissions,
$tool,
$value,
$inherited_permissions,
$course_admin
);
}
if ($setting_visualisation == 'image') {
//display_image_matrix($current_group_permissions, $tool, $value);
display_image_matrix(
$current_group_permissions,
$tool,
$value,
$inherited_permissions,
$course_admin
);
}
}
// note: in a later stage this part will be replaced by a function
// so that we can easily switch between a checkbox approach or an image approach
// where every click is in fact a change of status. In the checkbox approach you first have to
// do the changes and then store them by clicking the submit button.
echo "\t\t | \n";
}
echo "\t
\n";
}
echo "
'.get_lang('UserHasPermissionNot').'
'.get_lang('UserHasPermission').'
'.get_lang('UserHasPermissionByRoleGroup').'