/** ** page_header.php ** ** Prints the page header (duh) ** **/ // 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"); 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 "