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