User "Bawolff" posted a comment on MediaWiki.r87460. Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/87460#c16576 Commit summary:
Modified number formatting method to use number_format instead of $wgLang->formatNum and round so we can get leading zeros. If there's a way to get leading zeros with $wgLang, I don't know what it is. Comment: Its not really formatNum's fault. Its php's builtin round function's fault. (btw, I assume you mean trailing 0's, not leading 0's. I was rather confused for a second). The following should work i believe if I understand correctly what you want: $wgLang->formatNum( number_format($number, 2, '.', '') ); _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
