+ # Use the time zone
+ global $wgLocaltimezone;
+ if ( isset( $wgLocaltimezone ) ) {
+ $oldtz = getenv( 'TZ' );
+ putenv( 'TZ='.$wgLocaltimezone );
+ }
+ $timestamp = date( 'YmdHis', $ts );
+ $month = date( 'm', $ts );
+ $monthname = date( 'n', $ts );
+ $day = date( 'j', $ts );
+ $day2 = date( 'd', $ts );
+ $dayofweek = date( 'w', $ts );
+ $week = date( 'W', $ts );
+ $year = date( 'Y', $ts );
+ if ( isset( $wgLocaltimezone ) ) {
+ putenv( 'TZ='.$oldtz );
+ }
+