X-Git-Url: https://vcs.fsf.org/?p=squirrelmail.git;a=blobdiff_plain;f=functions%2Fdate.php;h=c776b787b3b41762dd7007c911219a096c48266b;hp=4001dda0df280c64077d509649e296b84a7953f2;hb=26017e66070f34a84efa0b22b86bb47502e379dc;hpb=47654bfb53dbd848a1d1bfdfe8e55ddf67bafe54

diff --git a/functions/date.php b/functions/date.php
index 4001dda0..c776b787 100644
--- a/functions/date.php
+++ b/functions/date.php
@@ -1,277 +1,461 @@
 <?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;
-
-   function getMinutes($hour) {
-      $date = $hour;
-
-      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";
-
-      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";
-      
-      if ($gmt = "")
-         $gmt = "+0000";
-
-      /*
-      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;
-
-      $gmt = substr($gmt, 0, 2);
-      $gmt = $gmt * 3600;
-      if ($neg == true)
-         $gmt = "-$gmt";
-      else
-         $gmt = "+$gmt";
-      */
-
-      /** now find what the server is at **/
-      $current = date("Z", time());
-      $stamp = (int)$stamp - (int)$gmt + (int)$current;
-
-      return $stamp;
-   }
-
-   function getHour($hour) {
-      $time = explode(":", $hour);
-      return $time[0];
-   }
-
-   function getMinute($min) {
-      $time = explode(":", $min);
-      return $time[1];
-   }
-
-   function getSecond($sec) {
-      $time = explode(":", $sec);
-      return $time[2];
-   }
-
-   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";
-
-      return $date;
-   }
-
-   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";
-
-      return $date;
-   }
-
-   function getDayOfMonth($day) {
-      return ereg_replace("^0", "", $day); /* remove a preceeding 0 */
-   }
-
-   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);
-   }
-
-   function getDateString($stamp) {
-      $now = time();
-      $midnight = $now - ($now % 86400) - date("Z", $now);
-
-      if ($midnight < $stamp) {
-         // Today
-         return date("g:i a", $stamp);
-      } else if ($midnight - (60 * 60 * 24 * 6) < $stamp) {
-         // This week
-         return date("D, g:i a", $stamp);
-      } else {
-         // before this week 
-         return date("M j, Y", $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.
-       **/
-
-      // 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]);
-   }
-
-   // 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 = $mtime[1] + $mtime[0];
-      return ($mtime);
-   }
-?>
+
+/**
+ * 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
+ *
+ * @copyright &copy; 1999-2007 The SquirrelMail Project Team
+ * @license http://opensource.org/licenses/gpl-license.php GNU Public License
+ * @version $Id$
+ * @package squirrelmail
+ * @subpackage date
+ */
+
+/**
+ * dependency information
+ * - none
+ */
+
+/**
+ * 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':
+	case 'MEST':
+	case 'CEST':
+            $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;
+}
+
+/**
+ * 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 ) {
+
+    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 = _("Ma&#121;");
+        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
+ * @param string fallback string to use when stamp not valid
+ * @return string the long date string
+ */
+function getLongDateString( $stamp, $fallback = '' ) {
+
+    global $hour_format;
+
+    if ($stamp == -1) {
+        return $fallback;
+    }
+
+    if ( $hour_format == SMPREF_TIME_12HR ) {
+        $date_format = _("D, F j, Y g:i a");
+    } else {
+        $date_format = _("D, F j, Y H: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, $custom_date_format;
+
+    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;
+    }
+
+    // calculate when it was midnight and when it will be,
+    // in order to display dates differently if they're 'today'
+    $midnight = $now - ($now % 86400) - $dateZ;
+    // this is to correct if after calculations midnight is more than
+    // one whole day away.
+    if ($now - $midnight > 86400) {
+        $midnight += 86400;
+    }
+    $nextmid = $midnight + 86400;
+
+    $custom_date_format = trim($custom_date_format);
+    if (!empty($custom_date_format)) {
+        $date_format = $custom_date_format;
+    } else 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 = _("H:i");
+        }
+    } else if ($midnight - 518400 < $stamp) {
+        /* This week */
+        if ( $hour_format == SMPREF_TIME_12HR ) {
+            $date_format = _("D, g:i a");
+        } else {
+            $date_format = _("D, H: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.
+     */
+
+    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;
+        }
+    }
+
+    /*
+     * 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 (!is_numeric(trim($dateParts[0]))) {
+        /* cope with broken mailers that send "Tue,23" without space */
+        if ( preg_match ('/^\w+,(\d{1,2})$/', $dateParts[0], $match) ) {
+            /* replace Tue,23 with 23 */
+            $dateParts[0] = $match[1];
+        } else {
+            /* just drop the day of week */
+            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]);
+    }
+}