[php] jede Null nach Dezimalpunkt abschneiden?

[Franz Graf]

Michael Renner schrieb:
> 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 :-(

Probier mal
$a = 12.0300;
$b = 12.3;
$c = 1200;
$d = 12.00;
$regex = "/\.0*$/";
echo preg_replace($regex,"",$a)."\n"; // 12.03
echo preg_replace($regex,"",$b)."\n"; // 12.3
echo preg_replace($regex,"",$c)."\n"; // 1200
echo preg_replace($regex,"",$d);      // 12

mfg Franz
-- 
Franz Graf
fg_(at)_locked.de
http://www.Locked.de