| Description | none | | Documentation | none |
| XML source | none |
| Translations | |
|
there is a proto in latest PHP 4 source:
string number_format(float number [, int num_decimal_places [, string dec_seperator, string thousands_seperator]]) Formats a number with grouped thousands |
|