/** ** page_header.php ** ** Prints the page header (duh) ** **/ $page_header_php = true; if (!isset($prefs_php)) include ("../functions/prefs.php"); // This is done to ensure that the character set is correct when // receiving input from HTTP forms header ("Content-Type: text/html; charset=iso-8859-1"); // Setting the language to use for gettext if it is not English // (the default language) or empty. $squirrelmail_language = getPref ($data_dir, $username, "language"); if ($squirrelmail_language != "en" && $squirrelmail_language != "") { putenv("LANG=$squirrelmail_language"); bindtextdomain("squirrelmail", "../locale/"); textdomain("squirrelmail"); // Setting cookie to use on the login screen the next time the // same user logs in. setcookie("squirrelmail_language", $squirrelmail_language, time()+2592000); } function displayPageHeader($color, $mailbox) { /** Here is the header and wrapping table **/ $shortBoxName = readShortMailboxName($mailbox, "."); echo "
"; echo " " . _("Sign Out") . ""; echo " | ";
echo " " . _("Current Folder: ") . "$shortBoxName ";
echo " | ";
echo "
"; echo " " . _("Compose") . "  "; echo " ". _("Addresses") ."  "; echo " " . _("Folders") . "  "; echo " " . _("Options") . "  "; echo " | "; echo " SquirrelMail"; echo " | "; echo "