replace von html-code

[Tom]

Hello,

$zahl = ($k < 10) ? "0$k" : $k;

oder die Funktion http://de.php.net/manual/de/function.number-format.php benutzen, was aber hier wohl eher zu Performance-Einbußen führen würde.

Oder die Funktion Substring:  echo substr("0000".$zahl,-4);

Würde immer z.B. 0001 oder 0234 oder 0000 anzeigen.

Gilt aber das gleiche für die Performance...

Liebe Grüße aus http://www.braunschweig.de

Tom