| Index: trunk/phase3/includes/PageHistory.php |
| — | — | @@ -177,7 +177,7 @@ |
| 178 | 178 | * @return string HTML output for the row |
| 179 | 179 | */ |
| 180 | 180 | function historyLine( $row, $next, $counter = '', $notificationtimestamp = false, $latest = false, $firstInList = false ) { |
| 181 | | - global $wgUser; |
| | 181 | + global $wgUser, $wgLang; |
| 182 | 182 | $rev = new Revision( $row ); |
| 183 | 183 | $rev->setTitle( $this->mTitle ); |
| 184 | 184 | |
| — | — | @@ -224,7 +224,7 @@ |
| 225 | 225 | if ($size == 0) |
| 226 | 226 | $stxt = wfMsgHtml('historyempty'); |
| 227 | 227 | else |
| 228 | | - $stxt = wfMsgHtml('historysize', $size); |
| | 228 | + $stxt = wfMsgHtml('historysize', $wgLang->formatNum( $size ) ); |
| 229 | 229 | $s .= " <span class=\"history-size\">$stxt</span>"; |
| 230 | 230 | } |
| 231 | 231 | |