phpbar.de logo

Mailinglisten-Archive

[php] jede Null nach Dezimalpunkt abschneiden?

[php] jede Null nach Dezimalpunkt abschneiden?

Guido Haeger GH-lists_(at)_ecora.de
Wed, 12 Jul 2000 18:56:39 +0200


Franz Graf schrieb

> Ok, nächster Versuch:
> Spricht was gegen folgendes?

Das funktioniert natürlich, wie auch schon von anderen vorgeschlagen.

>   $a = "12.0300";
>   echo (double)$a;
> Die Lösung scheint mir pers. schon wieder zu einfach.

Man denkt halt häufig zu kompliziert => siehe mein erstes Posting zu
diesem Thread mit der extralangen Funktion...

Guido Haeger



php::bar PHP Wiki   -   Listenarchive