$title$submenu";
return "$title$submenu";
}
authentication_has_role('global-admin');
echo "\n";
print "
"; # TODO
if (authentication_has_role('global-admin')) {
$motd_file = "motd-admin.txt";
} else {
$motd_file = "motd.txt";
}
if (file_exists (realpath ($motd_file)))
{
print "\n";
include ($motd_file);
print "
";
}
# IE can't handle :hover dropdowns correctly. It needs some JS instead.
?>