Fixes by Marc Groot Koerkamp
[squirrelmail.git] / functions / date.php
index b5fde0df7580b211863f2646ac59ba4c8e2d5d6a..558b477852183c946a3285a7dc545eba8920270d 100644 (file)
@@ -163,8 +163,10 @@ 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', substr( getDayName( date( 'w', $stamp ) ), 0, 3 ), $ret );
+    $ret = str_replace( '$5', substr( getMonthName( date( 'm', $stamp ) ), 0, 3 ), $ret );    
     $ret = str_replace( '$2', getMonthName( date( 'm', $stamp ) ), $ret );
     $ret = str_replace( '$4', getDayName( date( 'w', $stamp ) ), $ret );
     $ret = str_replace( '$3', '', $ret );