Huji has uploaded a new change for review.
https://gerrit.wikimedia.org/r/311126
Change subject: User counts should be localized
......................................................................
User counts should be localized
Bug: T145870
Change-Id: I3acfe17b1403517e3f48daa9f7bfefc0d1bdaf04
---
M specials/SpecialCheckUser.php
1 file changed, 3 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CheckUser
refs/changes/26/311126/1
diff --git a/specials/SpecialCheckUser.php b/specials/SpecialCheckUser.php
index 381a82e..f0fb351 100644
--- a/specials/SpecialCheckUser.php
+++ b/specials/SpecialCheckUser.php
@@ -540,7 +540,9 @@
__METHOD__ );
}
if ( $ipedits > $ips_edits[$ip] ) {
- $s .= ' <i>(' . $this->msg(
'checkuser-ipeditcount', $ipedits )->escaped() . ')</i>';
+ $s .= ' <i>(' .
+ $this->msg(
'checkuser-ipeditcount', $wgLang->formatNum( $ipedits ) )->escaped() .
+ ')</i>';
}
// If this IP is blocked, give a link to the
block log
--
To view, visit https://gerrit.wikimedia.org/r/311126
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I3acfe17b1403517e3f48daa9f7bfefc0d1bdaf04
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CheckUser
Gerrit-Branch: master
Gerrit-Owner: Huji <huji.h...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
