| Index: trunk/phase3/includes/Skin.php |
| — | — | @@ -538,7 +538,7 @@ |
| 539 | 539 | $pre = ''; |
| 540 | 540 | if ( $wgDebugTimestamps ) { |
| 541 | 541 | $matches = array(); |
| 542 | | - if ( preg_match( '/^(\d+\.\d+ \d+.\dM\s{2})/', $line, $matches ) ) { |
| | 542 | + if ( preg_match( '/^(\d+\.\d+ {1,3}\d+.\dM\s{2})/', $line, $matches ) ) { |
| 543 | 543 | $pre = $matches[1]; |
| 544 | 544 | $line = substr( $line, strlen( $pre ) ); |
| 545 | 545 | } |