\n";
echo "\t\n";
echo "\t\n";
echo "\t\n";
/* display a top alert bar if need be */
$need_alert_display = false;
$found_notices = are_notices_pending();
if($found_notices == true) {
$notices = get_notices();
if(!$notices) {
$need_alert_display = true;
$display_text = print_notices($notices) . "
"; } } if($need_alert_display == true) { echo "{$name} \n";
}
?>
Do not make changes in the GUI until this is complete.") . "
"; } } if($need_alert_display == true) { echo "
";
echo "";
echo "
";
echo "
";
}
function add_to_menu($url, $name) {
if (isAllowedPage($url))
echo "";
echo " ![\"notification\"](\"/top_notification.gif\") ";
echo $display_text;
echo " | ";
echo "
Do not make changes in the GUI until this is complete.") . "
");
}
$pgtitle_output = true;
?>