+function date_intl( $date_format, $stamp ) {
+
+ $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 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 ) );
+
+}
+
+function getDateString( $stamp ) {
+
+ global $invert_time, $hour_format, $show_full_date;
+
+ 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 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 0;
+ }
+
+ /* 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]);
+ }
+}