wikimedia/mediawiki-extensions-FormatNum — pull request #1 by DaSchTour (2013-01-25 19:10:12+00:00)
Title: Mayor Update

I made mayor changes to this extension that could be pulled into wikimedia repo