i18n for number_format()

[markjaquith]

We're using number_format() in a few places, which converts to American style formatting for thousands grouping. We might consider making a __number_format() function that localizers can use to format numbers appropriately.

I named the function number_format_i18n after date_i18n.
There are two patches - the first is the function implementation. The second one just substitutes number_format with number_format_i18n wherever I found occurrences. I have skipped Akismet. It could fallback to number_format if the new function does not exists, but may be some other time :)

number_format_i18n function

let's use this number_format_i18n

I like this. +1.

(In [5308]) Allow number_format to be internationalized. Props nbachiyski. fixes #3677

Let's move these variables from gettext system to $locale.php. It is created for such things.

Moving the variables to $locale.php

If I must be honest, I would like to keep at most information as we can in gettext. Otherwise many translators may no even look at the possibilities that $locale.php gives and just translate the po file.