[php] Probleme mit number_format unter PHP4

[Tobias Ratschiller]

> Das dürfte wahrscheinlich das Locale Problem sein. D.h. entweder das
> deutsche Format abschalten oder ein neueres PHP verwenden. Der CVS
> Server hat zur Zeit mal wieder den Geist aufgegeben und von den
> Entwicklern ist zur Zeit keiner aktiv.

In diesem Binary ist der Fehler behoben:
http://va.php.net/~andi/php-4.0.1dev-Win32.zip

Mit freundlichen Grüßen,
  Tobias Ratschiller