jenkins-bot has submitted this change and it was merged.

Change subject: i18n: Native digits on Minerva skin notification count
......................................................................


i18n: Native digits on Minerva skin notification count

Change-Id: Ieae8c1c7dea0a6054c2ca74f72909ff6d8091c38
---
M includes/skins/SkinMinerva.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jdlrobson: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/includes/skins/SkinMinerva.php b/includes/skins/SkinMinerva.php
index 7471c5b..1cee3a5 100644
--- a/includes/skins/SkinMinerva.php
+++ b/includes/skins/SkinMinerva.php
@@ -46,7 +46,7 @@
                                        'class' => 'user-button',
                                        'id'=> 'secondary-button',
                                ) ) .
-                               Html::element( 'span', array( 'class' => $count 
? '' : 'zero' ), $count ) .
+                               Html::element( 'span', array( 'class' => $count 
? '' : 'zero' ), $this->getLanguage()->formatNum( $count ) ) .
                                Html::closeElement( 'a' )
                        );
                } else {

-- 
To view, visit https://gerrit.wikimedia.org/r/91832
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ieae8c1c7dea0a6054c2ca74f72909ff6d8091c38
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Ebrahim <[email protected]>
Gerrit-Reviewer: Amire80 <[email protected]>
Gerrit-Reviewer: Ebrahim <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to