User "Bawolff" posted a comment on MediaWiki.r87460. Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/87460#c16580 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 always took the docs to mean it can have a string argument that should contain an integer or floating point value. In any case I think there are a couple places in mediawiki passing it strings. Perhaps we should just change the docs. _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
