+function date_intl( $date_format, $stamp ) {
+
+ $ret = str_replace( 'D', '$1', $date_format );
+ $ret = str_replace( 'F', '$2', $ret );
+ $ret = date( '$3'. $ret . '$3', $stamp ); // Workaround for a PHP 4.0.4 problem
+ $ret = str_replace( '$1', substr( getDayName( date( 'w', $stamp ) ), 0, 3 ), $ret );
+ $ret = str_replace( '$2', getMonthName( date( 'm', $stamp ) ), $ret );
+ $ret = str_replace( '$3', '', $ret );
+
+ return( $ret );
+}
+
+function getLongDateString( $stamp ) {
+
+ global $hour_format;
+
+ 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;
+
+ $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 ) );
+}
+
+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.
+ **/