<?php
- /**
- ** date.php
- **
- ** Takes a date and parses it into a usable format. The form that a
- ** date SHOULD arrive in is:
- ** <Tue,> 29 Jun 1999 09:52:11 -0500 (EDT)
- ** (as specified in RFC 822) -- "Tue" is optional
- **
- **/
- $date_php = true;
+/**
+ * date.php
+ *
+ * Copyright (c) 1999-2003 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:
+ * <Tue,> 29 Jun 1999 09:52:11 -0500 (EDT)
+ * (as specified in RFC 822) -- 'Tue' is optional
+ *
+ * $Id$
+ */
- function getMinutes($hour) {
- $date = $hour;
+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 */
+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;
- }
+/**
+ 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.
+**/
- // 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";
+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";
+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;
+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 );
+}
- return $stamp;
- }
+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 getHour($hour) {
- $time = explode(":", $hour);
- return $time[0];
- }
- function getMinute($min) {
- $time = explode(":", $min);
- return $time[1];
- }
+function date_intl( $date_format, $stamp ) {
- function getSecond($sec) {
- $time = explode(":", $sec);
- return $time[2];
- }
+ $ret = str_replace( 'D', '$1', $date_format );
+ $ret = str_replace( 'F', '$2', $ret );
+ $ret = str_replace( 'l', '$4', $ret );
+ $ret = str_replace( 'M', '$5', $ret );
+ $ret = date( '$3'. $ret . '$3', $stamp ); // Workaround for a PHP 4.0.4 problem
+ $ret = str_replace( '$1', getDayAbrv( date( 'w', $stamp ) ), $ret );
+ $ret = str_replace( '$5', getMonthAbrv( date( 'm', $stamp ) ), $ret );
+ $ret = str_replace( '$2', getMonthName( date( 'm', $stamp ) ), $ret );
+ $ret = str_replace( '$4', getDayName( date( 'w', $stamp ) ), $ret );
+ $ret = str_replace( '$3', '', $ret );
+
+ return( $ret );
+}
- 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";
+function getLongDateString( $stamp ) {
- return $date;
- }
+ global $hour_format;
+
+ if ($stamp == -1) {
+ return '';
+ }
- function getDayOfWeek($day) {
- $date = "{WEEKDAY}";
+ 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 ) );
- 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";
+}
- return $date;
- }
+function getDateString( $stamp ) {
- function getDayOfMonth($day) {
- return ereg_replace("^0", "", $day); /* remove a preceeding 0 */
- }
+ global $invert_time, $hour_format;
- 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";
+ if ( $stamp == -1 ) {
+ return '';
+ }
+
+ $now = time();
+
+ $dateZ = date('Z', $now );
+ if ($invert_time) {
+ $dateZ = - $dateZ;
+ }
+ $midnight = $now - ($now % 86400) - $dateZ;
+
+ 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 ) );
+}
- return $date;
- }
-
- function getYear($year) {
- return $year;
- }
-
- function getLongDateString($stamp) {
- return date("D, F j, Y g:i a", $stamp);
- }
+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.
+ **/
- function getDateString($stamp) {
- $now = time();
- $midnight = $now - ($now % 86400) + 14400;
+ /*
+ * 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 0;
+ }
- if ($midnight < $stamp) {
- // Today
- return date("g:i a", $stamp);
- } else if ($midnight - 604800 < $stamp) {
- // This week
- return date("D, g:i a", $stamp);
- } else {
- // before this week
- return date("M j, Y", $stamp);
- }
- }
+ /* 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';
+ }
- 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 (intval(trim($dateParts[0])) > 0) {
- $time = explode(":", $dateParts[3]);
- $d[0] = $time[0];
- $d[1] = $time[1];
- $d[2] = $time[2];
- $d[3] = getMonthNum(trim($dateParts[1]));
- $d[4] = getDayOfMonth(trim($dateParts[0]));
- $d[5] = getYear(trim($dateParts[2]));
- return getGMTSeconds(mktime($d[0], $d[1], $d[2], $d[3], $d[4], $d[5]), $dateParts[4]);
- }
- $time = explode(":", $dateParts[4]);
- $d[0] = $time[0];
- $d[1] = $time[1];
- $d[2] = $time[2];
- $d[3] = getMonthNum(trim($dateParts[2]));
- $d[4] = getDayOfMonth(trim($dateParts[1]));
- $d[5] = getYear(trim($dateParts[3]));
- return getGMTSeconds(mktime($d[0], $d[1], $d[2], $d[3], $d[4], $d[5]), $dateParts[5]);
- }
+ 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]);
+ }
+}
- // I use this function for profiling. Should never be called in
- // actual versions of squirrelmail released to public.
+/* I use this function for profiling. Should never be called in
+ actual versions of squirrelmail released to public. */
+/*
function getmicrotime() {
$mtime = microtime();
- $mtime = explode(" ",$mtime);
+ $mtime = explode(' ',$mtime);
$mtime = $mtime[1] + $mtime[0];
return ($mtime);
}
+*/
?>