Use formatNum for another number

diff --git a/includes/ChangesList.php b/includes/ChangesList.php
index c25b4a5..bad9445 100644 (file)
--- 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.'×)';
+                               $text .= ' (' . $wgLang->formatNum( $count ) . '×)';
                        }
                        array_push( $users, $text );
                }