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