User "^demon" posted a comment on MediaWiki.r87460. Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/87460#c16575 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: The second point was sarcastic... _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
