[php] jede Null nach Dezimalpunkt abschneiden?

[Daniel Beulshausen]

> stehe vor einem Denkblock :-(
> Jede Null nach dem Dezimalpunkt soll weg, so dass
> 12.000 = 12 wird, aber
> 12.300 = 12.3 wird.
> Ich versuche es mit eregreplace(), nur fehlt der rettende
> Ausdruck :-(

dazu brauchts du keien regexp:

<?
$float = 12.3;
// $float = 12.0
print round(($float*10))/10;
?>

gruss
daniel