From 88f25cb132dc047b1dbdeaa02c43277ee7bd5b71 Mon Sep 17 00:00:00 2001
From: Raimond Spekking <raymond@users.mediawiki.org>
Date: Fri, 9 Mar 2007 18:26:33 +0000
Subject: [PATCH] Use formatNum for pagesize

---
 includes/PageHistory.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/PageHistory.php b/includes/PageHistory.php
index 635e14a940..94b55eab47 100644
--- a/includes/PageHistory.php
+++ b/includes/PageHistory.php
@@ -177,7 +177,7 @@ class PageHistory {
 	 * @return string HTML output for the row
 	 */
 	function historyLine( $row, $next, $counter = '', $notificationtimestamp = false, $latest = false, $firstInList = false ) {
-		global $wgUser;
+		global $wgUser, $wgLang;
 		$rev = new Revision( $row );
 		$rev->setTitle( $this->mTitle );
 
@@ -224,7 +224,7 @@ class PageHistory {
 			if ($size == 0)
 				$stxt = wfMsgHtml('historyempty');
 			else
-				$stxt = wfMsgHtml('historysize', $size);
+				$stxt = wfMsgHtml('historysize', $wgLang->formatNum( $size ) );
 			$s .= " <span class=\"history-size\">$stxt</span>";
 		}
 
-- 
2.20.1