User "^demon" posted a comment on MediaWiki.r87460. Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/87460#c16573 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: I'm gonna go out on a limb and say formatNum() should be changed to allow this, but of course we can't let a proper fix get in the way of deployment. _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
