+ 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 );
+ }
+
+ 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 ) {
+
+ return( date_intl( _("D, F j, Y g:i a"), $stamp ) );
+
+ }
+
+ function getDateString( $stamp ) {
+