";
}
}
if($need_alert_display == true) {
echo "{$name} \n";
}
?>
";
echo "";
echo "
";
echo "
";
}
function output_menu_item($url, $name) {
if (isAllowedPage($url))
echo "";
echo " ![](\"/top_notification.gif\") ";
echo $display_text;
echo " | ";
echo "