X-Git-Url: https://vcs.fsf.org/?a=blobdiff_plain;f=functions%2Fdate.php;h=c6b5db95be3318d3edfb5b679a0fedc8f65dd9a9;hb=bb50b50818e1eb3b2ff8f8c49883c1a7f19707e5;hp=bdc0ad586b64529bfdb5e9ebccf36b6a6fb4b355;hpb=069b4374494c35d8c68a8710841ed5180f1a8ba3;p=squirrelmail.git diff --git a/functions/date.php b/functions/date.php index bdc0ad58..c6b5db95 100644 --- a/functions/date.php +++ b/functions/date.php @@ -1,273 +1,437 @@ 29 Jun 1999 09:52:11 -0500 (EDT) - ** (as specified in RFC 822) -- "Tue" is optional - ** - **/ - $date_php = true; +/** + * date.php + * + * Copyright (c) 1999-2004 The SquirrelMail Project Team + * Licensed under the GNU GPL. For full terms see the file COPYING. + * + * Takes a date and parses it into a usable format. The form that a + * date SHOULD arrive in is: + * 29 Jun 1999 09:52:11 -0500 (EDT) + * (as specified in RFC 822) -- 'Tue' is optional + * + * $Id$ + * @package squirrelmail + */ - function getMinutes($hour) { - $date = $hour; +/** Load up some useful constants */ +require_once(SM_PATH . 'functions/constants.php'); - if (($hour == 0) || ($hour == "00")) - $date = "00"; - else if (($hour == 1) || ($hour == "01")) - $date = "01"; - else if (($hour == 2) || ($hour == "02")) - $date = "02"; - else if (($hour == 3) || ($hour == "03")) - $date = "03"; - else if (($hour == 4) || ($hour == "04")) - $date = "04"; - else if (($hour == 5) || ($hour == "05")) - $date = "05"; - else if (($hour == 6) || ($hour == "06")) - $date = "06"; - else if (($hour == 7) || ($hour == "07")) - $date = "07"; - else if (($hour == 8) || ($hour == "08")) - $date = "08"; - else if (($hour == 9) || ($hour == "09")) - $date = "09"; +/** + * Corrects a time stamp to be the local time. + * + * @param int stamp the timestamp to adjust + * @param string tzc the timezone correction + * @return int the corrected timestamp + */ +function getGMTSeconds($stamp, $tzc) { + /* date couldn't be parsed */ + if ($stamp == -1) { + return -1; + } + /* timezone correction, expressed as `shhmm' */ + switch($tzc) + { + case 'Pacific': + case 'PST': + $tzc = '-0800'; + break; + case 'Mountain': + case 'MST': + case 'PDT': + $tzc = '-0700'; + break; + case 'Central': + case 'CST': + case 'MDT': + $tzc = '-0600'; + break; + case 'Eastern': + case 'EST': + case 'CDT': + $tzc = '-0500'; + break; + case 'EDT': + $tzc = '-0400'; + break; + case 'GMT': + $tzc = '+0000'; + break; + case 'BST': + case 'MET': + case 'CET': + $tzc = '+0100'; + break; + case 'EET': + case 'IST': + case 'MET DST': + case 'METDST': + $tzc = '+0200'; + break; + case 'HKT': + $tzc = '+0800'; + break; + case 'JST': + case 'KST': + $tzc = '+0900'; + break; + } + $neg = false; + if (substr($tzc, 0, 1) == '-') { + $neg = true; + } else if (substr($tzc, 0, 1) != '+') { + $tzc = '+'.$tzc; + } + $hh = substr($tzc,1,2); + $mm = substr($tzc,3,2); + $iTzc = ($hh * 60 + $mm) * 60; + if ($neg) $iTzc = -1 * (int) $iTzc; + /* stamp in gmt */ + $stamp -= $iTzc; + /** now find what the server is at **/ + $current = date('Z', time()); + /* stamp in local timezone */ + $stamp += $current; + + return $stamp; +} - return $date; - } - - // corrects a time stamp to be the local time - function getGMTSeconds($stamp, $gmt) { - if (($gmt == "Pacific") || ($gmt == "PST")) - $gmt = "-0800"; - else if (($gmt == "EDT")) - $gmt = "-0400"; - else if (($gmt == "Eastern") || ($gmt == "EST") || ($gmt == "CDT")) - $gmt = "-0500"; - else if (($gmt == "Central") || ($gmt == "CST") || ($gmt == "MDT")) - $gmt = "-0600"; - else if (($gmt == "Mountain") || ($gmt == "MST") || ($gmt == "PDT")) - $gmt = "-0700"; - else if ($gmt == "BST") - $gmt = "+0100"; - else if ($gmt == "EET") - $gmt = "+0200"; - else if ($gmt == "GMT") - $gmt = "+0000"; - else if ($gmt == "HKT") - $gmt = "+0800"; - else if ($gmt == "IST") - $gmt = "+0200"; - else if ($gmt == "JST") - $gmt = "+0900"; - else if ($gmt == "MET") - $gmt = "+0100"; - else if ($gmt == "MET DST" || $gmt == "METDST") - $gmt = "+0200"; +/** + * Returns the (localized) string for a given day number. + * Switch system has been intentionaly chosen for the + * internationalization of month and day names. The reason + * is to make sure that _("") strings will go into the + * main po. + * + * @param int day_number the day number + * @return string the day in human readable form + */ +function getDayName( $day_number ) { - if (substr($gmt, 0, 1) == "-") { - $neg = true; - $gmt = substr($gmt, 1, strlen($gmt)); - } else if (substr($gmt, 0, 1) == "+") { - $neg = false; - $gmt = substr($gmt, 1, strlen($gmt)); - } else - $neg = false; + switch( $day_number ) { + case 0: + $ret = _("Sunday"); + break; + case 1: + $ret = _("Monday"); + break; + case 2: + $ret = _("Tuesday"); + break; + case 3: + $ret = _("Wednesday"); + break; + case 4: + $ret = _("Thursday"); + break; + case 5: + $ret = _("Friday"); + break; + case 6: + $ret = _("Saturday"); + break; + default: + $ret = ''; + } + return( $ret ); +} - $gmt = substr($gmt, 0, 2); - $gmt = $gmt * 3600; - if ($neg == true) - $gmt = "-$gmt"; - else - $gmt = "+$gmt"; +/** + * Like getDayName, but returns the short form + * @param int day_number the day number + * @return string the day in short human readable form + */ +function getDayAbrv( $day_number ) { - /** now find what the server is at **/ - $current = date("Z", time()); + switch( $day_number ) { + case 0: + $ret = _("Sun"); + break; + case 1: + $ret = _("Mon"); + break; + case 2: + $ret = _("Tue"); + break; + case 3: + $ret = _("Wed"); + break; + case 4: + $ret = _("Thu"); + break; + case 5: + $ret = _("Fri"); + break; + case 6: + $ret = _("Sat"); + break; + default: + $ret = ''; + } + return( $ret ); +} - $stamp = (int)$stamp - (int)$gmt + (int)$current; - return $stamp; - } +/** + * Returns the (localized) string for a given month number. + * + * @param string month_number the month number (01..12) + * @return string the month name in human readable form + */ +function getMonthName( $month_number ) { + switch( $month_number ) { + case '01': + $ret = _("January"); + break; + case '02': + $ret = _("February"); + break; + case '03': + $ret = _("March"); + break; + case '04': + $ret = _("April"); + break; + case '05': + $ret = _("May"); + break; + case '06': + $ret = _("June"); + break; + case '07': + $ret = _("July"); + break; + case '08': + $ret = _("August"); + break; + case '09': + $ret = _("September"); + break; + case '10': + $ret = _("October"); + break; + case '11': + $ret = _("November"); + break; + case '12': + $ret = _("December"); + break; + default: + $ret = ''; + } + return( $ret ); +} - function getHour($hour) { - $time = explode(":", $hour); - return $time[0]; - } +/** + * Returns the (localized) string for a given month number, + * short representation. + * + * @param string month_number the month number (01..12) + * @return string the shortened month in human readable form + */ +function getMonthAbrv( $month_number ) { + switch( $month_number ) { + case '01': + $ret = _("Jan"); + break; + case '02': + $ret = _("Feb"); + break; + case '03': + $ret = _("Mar"); + break; + case '04': + $ret = _("Apr"); + break; + case '05': + $ret = _("May"); + break; + case '06': + $ret = _("Jun"); + break; + case '07': + $ret = _("Jul"); + break; + case '08': + $ret = _("Aug"); + break; + case '09': + $ret = _("Sep"); + break; + case '10': + $ret = _("Oct"); + break; + case '11': + $ret = _("Nov"); + break; + case '12': + $ret = _("Dec"); + break; + default: + $ret = ''; + } + return( $ret ); +} - function getMinute($min) { - $time = explode(":", $min); - return $time[1]; - } +/** + * Returns the localized representation of the date/time. + * + * @param string date_format The format for the date, like the input for the PHP date() function. + * @param int stamp the timestamp to convert + * @return string a full date representation + */ +function date_intl( $date_format, $stamp ) { + $ret = str_replace( array('D','F','l','M'), array('$1','$2','$3','$4'), $date_format ); + // to reduce the date calls we retrieve m and w in the same call + $ret = date('w#m#'. $ret, $stamp ); + // extract day and month in order to replace later by intl day and month + $aParts = explode('#',$ret); + $ret = str_replace(array('$1','$4','$2','$3',), array(getDayAbrv($aParts[0]), + getMonthAbrv($aParts[1]), + getMonthName($aParts[1]), + getDayName($aParts[0])), + $aParts[2]); + return( $ret ); +} - function getSecond($sec) { - $time = explode(":", $sec); - return $time[2]; - } +/** + * This returns a date of the format "Wed, Oct 29, 2003 9:52 am", + * or the same in 24H format (depending on the user's settings), + * and taking localization into accout. + * + * @param int stamp the timestamp + * @return string the long date string + */ +function getLongDateString( $stamp ) { - function getMonthNum($month) { - if (eregi("jan|january", $month, $tmp)) - $date = "01"; - else if (eregi("feb|february|febuary", $month, $tmp)) - $date = "02"; - else if (eregi("mar|march", $month, $tmp)) - $date = "03"; - else if (eregi("apr|april", $month, $tmp)) - $date = "04"; - else if (eregi("may", $month, $tmp)) - $date = "05"; - else if (eregi("jun|june", $month, $tmp)) - $date = "06"; - else if (eregi("jul|july", $month, $tmp)) - $date = "07"; - else if (eregi("aug|august", $month, $tmp)) - $date = "08"; - else if (eregi("sep|sept|september", $month, $tmp)) - $date = "09"; - else if (eregi("oct|october", $month, $tmp)) - $date = "10"; - else if (eregi("nov|november", $month, $tmp)) - $date = "11"; - else if (eregi("dec|december", $month, $tmp)) - $date = "12"; + global $hour_format; + + if ($stamp == -1) { + return ''; + } - return $date; - } + if ( $hour_format == SMPREF_TIME_12HR ) { + $date_format = _("D, F j, Y g:i a"); + } else { + $date_format = _("D, F j, Y G:i"); + } + + return( date_intl( $date_format, $stamp ) ); - function getDayOfWeek($day) { - $date = "{WEEKDAY}"; +} - if (eregi("(mon|monday)", $day, $tmp)) - $date = "Mon"; - else if (eregi("(tue|tuesday)", $day, $tmp)) - $date = "Tue"; - else if (eregi("(wed|wednesday)", $day, $tmp)) - $date = "Wed"; - else if (eregi("(thurs|thu|thursday)", $day, $tmp)) - $date = "Thu"; - else if (eregi("(fri|friday)", $day, $tmp)) - $date = "Fri"; - else if (eregi("(sat|saturday)", $day, $tmp)) - $date = "Sat"; - else if (eregi("(sun|sunday)", $day, $tmp)) - $date = "Sun"; +/** + * Returns a short representation of the date, + * taking timezones and localization into account. + * Depending on user's settings, this string can be + * of the form: "14:23" or "Jun 14, 2003" depending + * on whether the stamp is "today" or not. + * + * @param int stamp the timestamp + * @return string the date string + */ +function getDateString( $stamp ) { - return $date; - } + global $invert_time, $hour_format, $show_full_date; - function getDayOfMonth($day) { - return ereg_replace("^0", "", $day); /* remove a preceeding 0 */ - } + if ( $stamp == -1 ) { + return ''; + } + + $now = time(); + + $dateZ = date('Z', $now ); + if ($invert_time) { + $dateZ = - $dateZ; + } + $midnight = $now - ($now % 86400) - $dateZ; + $nextmid = $midnight + 86400; + + if (($show_full_date == 1) || ($nextmid < $stamp)) { + $date_format = _("M j, Y"); + } else if ($midnight < $stamp) { + /* Today */ + if ( $hour_format == SMPREF_TIME_12HR ) { + $date_format = _("g:i a"); + } else { + $date_format = _("G:i"); + } + } else if ($midnight - 518400 < $stamp) { + /* This week */ + if ( $hour_format == SMPREF_TIME_12HR ) { + $date_format = _("D, g:i a"); + } else { + $date_format = _("D, G:i"); + } + } else { + /* before this week */ + $date_format = _("M j, Y"); + } + + return( date_intl( $date_format, $stamp ) ); +} - function getMonth($month) { - $date = "{MONTH}"; - if (eregi("jan|january", $month, $tmp)) - $date = "Jan"; - else if (eregi("feb|february|febuary", $month, $tmp)) - $date = "Feb"; - else if (eregi("mar|march", $month, $tmp)) - $date = "Mar"; - else if (eregi("apr|april", $month, $tmp)) - $date = "Apr"; - else if (eregi("may", $month, $tmp)) - $date = "May"; - else if (eregi("jun|june", $month, $tmp)) - $date = "Jun"; - else if (eregi("jul|july", $month, $tmp)) - $date = "Jul"; - else if (eregi("aug|august", $month, $tmp)) - $date = "Aug"; - else if (eregi("sep|sept|september", $month, $tmp)) - $date = "Sep"; - else if (eregi("oct|october", $month, $tmp)) - $date = "Oct"; - else if (eregi("nov|november", $month, $tmp)) - $date = "Nov"; - else if (eregi("dec|december", $month, $tmp)) - $date = "Dec"; - - return $date; - } - - function getYear($year) { - return $year; - } - - function getLongDateString($stamp) { - return date("D, F j, Y g:i a", $stamp); - } +/** + * Decodes a RFC 822 Date-header into a timestamp + * + * @param array dateParts the Date-header split by whitespace + * @return int the timestamp calculated from the header + */ +function getTimeStamp($dateParts) { + /** $dateParts[0] == Mon, Tue, Wed + ** $dateParts[1] == 23 + ** $dateParts[2] == Jan, Feb, Mar + ** $dateParts[3] == 1999 + ** $dateParts[4] ==