From d50452faa86c1fc093e93138c5f866876adec19a Mon Sep 17 00:00:00 2001
From: Raimond Spekking <raymond@users.mediawiki.org>
Date: Tue, 12 Aug 2008 13:19:28 +0000
Subject: [PATCH] Use formatNum for another number

---
 includes/ChangesList.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/ChangesList.php b/includes/ChangesList.php
index c25b4a58da..bad9445a01 100644
--- a/includes/ChangesList.php
+++ b/includes/ChangesList.php
@@ -587,7 +587,7 @@ class EnhancedChangesList extends ChangesList {
 			$text = $userlink;
 			$text .= $wgContLang->getDirMark();
 			if( $count > 1 ) {
-				$text .= ' ('.$count.'&times;)';
+				$text .= ' (' . $wgLang->formatNum( $count ) . '×)';
 			}
 			array_push( $users, $text );
 		}
-- 
2.20.1