\n";
echo "\n";
echo "\n";
echo "";
if ($title && !$no_menu && !$is_index)
{
echo "$title | "
.""
.(user_hints() ? "" : '')
." | "
." ";
}
if (!$is_index)
echo " ";
}
function menu_footer($no_menu, $is_index)
{
global $version, $allow_demo_mode, $app_title, $power_url, $power_by, $path_to_root;
include_once($path_to_root . "/includes/date_functions.inc");
if ($no_menu == false)
{
if ($is_index)
echo "\n";
else
echo "\n";
echo "";
if (isset($_SESSION['wa_current_user']))
echo "" . Today() . " | " . Now() . " | \n";
echo " \n";
}
echo " | \n";
echo "
\n";
if ($no_menu == false)
{
echo "