number_format() nach setlocale() mit 'de_DE'

[HansiD]

<?php
setlocale(LC_ALL, 'de_DE');
echo number_format(1234.89, 1);
?>

• Ich würde erwarten, dass dieser Code "1.234,9"

...