\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_role_permissions,
$tool,
$value
);
}
if ($setting_visualisation == 'image') {
if ($_GET['scope'] == 'platform') {
$roles_editable = false;
} else {
$roles_editable = true;
}
display_image_matrix(
$current_role_permissions,
$tool,
$value,
'',
'',
$roles_editable
);
}
}
echo "\t\t | \n";
}
echo "\t
\n";
}
echo "