jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/401413 )
Change subject: Numbers in the parser profiling data are not internationalized
......................................................................
Numbers in the parser profiling data are not internationalized
Bug: T158607
Change-Id: I7c2939e3171e320dce6a11d1c3ba0caf36c81d8f
---
M includes/EditPage.php
1 file changed, 5 insertions(+), 1 deletion(-)
Approvals:
WMDE-Fisch: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/EditPage.php b/includes/EditPage.php
index 3c109f6..337ac15 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -3604,6 +3604,8 @@
* @return string HTML
*/
public static function getPreviewLimitReport( $output ) {
+ global $wgLang;
+
if ( !$output || !$output->getLimitReportData() ) {
return '';
}
@@ -3632,7 +3634,9 @@
if ( !$keyMsg->isDisabled() &&
!$valueMsg->isDisabled() ) {
$limitReport .= Html::openElement( 'tr'
) .
Html::rawElement( 'th', null,
$keyMsg->parse() ) .
- Html::rawElement( 'td', null,
$valueMsg->params( $value )->parse() ) .
+ Html::rawElement( 'td', null,
+ $wgLang->formatNum(
$valueMsg->params( $value )->parse() )
+ ) .
Html::closeElement( 'tr' );
}
}
--
To view, visit https://gerrit.wikimedia.org/r/401413
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7c2939e3171e320dce6a11d1c3ba0caf36c81d8f
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Huji <[email protected]>
Gerrit-Reviewer: Brian Wolff <[email protected]>
Gerrit-Reviewer: C. Scott Ananian <[email protected]>
Gerrit-Reviewer: Huji <[email protected]>
Gerrit-Reviewer: Jackmcbarn <[email protected]>
Gerrit-Reviewer: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
