X-Git-Url: https://vcs.fsf.org/?a=blobdiff_plain;f=functions%2Fdate.php;h=c776b787b3b41762dd7007c911219a096c48266b;hb=675c2a6fd06af5eab5890baeb35c1fbea28f2649;hp=e1d9c388ccaf0016d3497d85995d0204554e66ea;hpb=0f1835f3980145bab8afef56f9caa59502b82bd4;p=squirrelmail.git diff --git a/functions/date.php b/functions/date.php index e1d9c388..c776b787 100644 --- a/functions/date.php +++ b/functions/date.php @@ -1,207 +1,461 @@ - 29 Jun 1999 09:52:11 -0500 (EDT) - ** (as specified in RFC 822) -- "Tue" is optional - ** - **/ - - 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 (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) { - return date("M j, Y", $stamp); - } - - function getTimeStamp($dateParts) { - /** $dateParts[0] == Mon, Tue, Wed - ** $dateParts[1] == 23 - ** $dateParts[2] == Jan, Feb, Mar - ** $dateParts[3] == 1999 - ** $dateParts[4] ==