- function getTimeStamp($dateParts) {
- /** $dateParts[0] == <day of week> Mon, Tue, Wed
- ** $dateParts[1] == <day of month> 23
- ** $dateParts[2] == <month> Jan, Feb, Mar
- ** $dateParts[3] == <year> 1999
- ** $dateParts[4] == <time> 18:54:23 (HH:MM:SS)
- ** $dateParts[5] == <from GMT> +0100
- ** $dateParts[6] == <zone> (EDT)
- **
- ** NOTE: In RFC 822, it states that <day of week> is optional.
- ** In that case, dateParts[0] would be the <day of month>
- ** and everything would be bumped up one.
- **/
-
- // Simply check to see if the first element in the dateParts
- // array is an integer or not.
- // Since the day of week is optional, this check is needed.
- //
- // The old code used eregi('mon|tue|wed|thu|fri|sat|sun',
- // $dateParts[0], $tmp) to find if the first element was the
- // day of week or day of month. This is an expensive call
- // (processing time) to have inside a loop. Doing it this way
- // saves quite a bit of time for large mailboxes.
- //
- // It is also quicker to call explode only once rather than
- // the 3 times it was getting called by calling the functions
- // getHour, getMinute, and getSecond.
- //
- if (! isset($dateParts[1])) $dateParts[1] = '';
- if (! isset($dateParts[2])) $dateParts[2] = '';
- if (! isset($dateParts[3])) $dateParts[3] = '';
- if (! isset($dateParts[4])) $dateParts[4] = '';
- if (! isset($dateParts[5])) $dateParts[5] = '';
- if (intval(trim($dateParts[0])) > 0) {
- $string = $dateParts[0] . ' ' . $dateParts[1] . ' ' .
- $dateParts[2] . ' ' . $dateParts[3];
- return getGMTSeconds(strtotime($string), $dateParts[4]);
- }
- $string = $dateParts[0] . ' ' . $dateParts[1] . ' ' .
- $dateParts[2] . ' ' . $dateParts[3] . ' ' . $dateParts[4];
- if (isset($dateParts[5]))
- return getGMTSeconds(strtotime($string), $dateParts[5]);
- else
- return getGMTSeconds(strtotime($string), '');
- }
+ 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 );
+}
+
+/**
+ * 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 ) {
+
+ 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 );
+}
+
+
+/**
+ * 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 );
+}
+
+/**
+ * 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 );
+}
+
+/**
+ * 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 );
+}
+
+/**
+ * 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 ) {
+
+ global $hour_format;
+
+ if ($stamp == -1) {
+ return '';
+ }
+
+ 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 ) );
+
+}
+
+/**
+ * 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 ) {
+
+ global $invert_time, $hour_format, $show_full_date;
+
+ if ( $stamp == -1 ) {
+ return '';
+ }
+
+ $now = time();
+
+ $dateZ = date('Z', $now );
+
+ // FIXME: isn't this obsolete and introduced as a terrible workaround
+ // for bugs at other places which are fixed a long time ago?
+ if ($invert_time) {
+ $dateZ = - $dateZ;
+ }
+ $midnight = $now - ($now % 86400) - $dateZ;
+ $nextmid = $midnight + 86400 - $dateZ;
+
+ 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 ) );
+}
+
+/**
+ * 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] == <day of week> Mon, Tue, Wed
+ ** $dateParts[1] == <day of month> 23
+ ** $dateParts[2] == <month> Jan, Feb, Mar
+ ** $dateParts[3] == <year> 1999
+ ** $dateParts[4] == <time> 18:54:23 (HH:MM:SS)
+ ** $dateParts[5] == <from GMT> +0100
+ ** $dateParts[6] == <zone> (EDT)
+ **
+ ** NOTE: In RFC 822, it states that <day of week> is optional.
+ ** In that case, dateParts[0] would be the <day of month>
+ ** and everything would be bumped up one.
+ **/
+
+ /*
+ * Simply check to see if the first element in the dateParts
+ * array is an integer or not.
+ * Since the day of week is optional, this check is needed.
+ */
+ if (count($dateParts) <2) {
+ return -1;
+ } else if (count($dateParts) ==3) {
+ if (substr_count($dateParts[0],'-') == 2 &&
+ substr_count($dateParts[1],':') == 2) {
+ // dd-Month-yyyy 23:19:05 +0200
+ // redefine the date
+ $aDate = explode('-',$dateParts[0]);
+ $newDate = array($aDate[0],$aDate[1],$aDate[2],$dateParts[1],$dateParts[2]);
+ $dateParts = $newDate;
+ }
+ }
+
+ /* remove day of week */
+ if (!is_numeric(trim($dateParts[0]))) {
+ $dataParts = array_shift($dateParts);
+ }
+ /* calculate timestamp separated from the zone and obs-zone */
+ $stamp = strtotime(implode (' ', array_splice ($dateParts,0,4)));
+ if (!isset($dateParts[0])) {
+ $dateParts[0] = '+0000';
+ }
+
+ if (!preg_match('/^[+-]{1}[0-9]{4}$/',$dateParts[0])) {
+ /* zone in obs-zone format */
+ if (preg_match('/\((.+)\)/',$dateParts[0],$regs)) {
+ $obs_zone = $regs[1];
+ } else {
+ $obs_zone = $dateParts[0];
+ }
+ return getGMTSeconds($stamp, $obs_zone);
+ } else {
+ return getGMTSeconds($stamp, $dateParts[0]);
+ }
+}