phpbar.de logo

Mailinglisten-Archive

[php] jede Null nach Dezimalpunkt abschneiden?

[php] jede Null nach Dezimalpunkt abschneiden?

Michael Renner michael.renner_(at)_tuebingen.mpg.de
Wed, 12 Jul 2000 16:30:31 +0200


-----BEGIN PGP SIGNED MESSAGE-----

On Wed, 12 Jul 2000, Franz Graf wrote:
> Michael Renner schrieb:
> > Jede Null nach dem Dezimalpunkt soll weg, so dass

[...]

> Probier mal

[...]

> $regex = "/\.0*$/";
> echo preg_replace($regex,"",$a)."\n"; // 12.03

Danke, funktioniert wunderbar in allen Fällen!
CU
--
+---------------------------------------------------------+
|Michael Renner                   |                       |
|MPI fuer biologische Kybernetik  |Phone: +49-7071-601-638|
|Spemannstr.38, D-72076 Tuebingen |FAX:   +49-7071-601-616|
|michael.renner_(at)_tuebingen.mpg.de  |                       |
+----------------------------------------------------ESC:wq


-----BEGIN PGP SIGNATURE-----
Version: PGPfreeware 5.0i for non-commercial use
MessageID: XrQ0Ou+n1AANC6EhYuxJe+yee3PPPbcC

iQA/AwUBOWyBPm/A5treCst7EQKzHQCg1EWtIzJfiC48uQv9kJ9O/9z4fj8AoJcU
ZSeJnOKp8uiNGz4Zn36cbtCm
=q0a+
-----END PGP SIGNATURE-----


php::bar PHP Wiki   -   Listenarchive