[php] Zeichen entfernen

[Norbert Pfeiffer]

Hi Theo,

> Gibts eine Funktion die auch         überflüssige
>       Leerstellen          aus einem        String
> entfernt? Und zwar in einem Rutsch, wie trim()?
waere mir neu...

mach dies derzeit so:

        while(is_int(strpos($IN, "  ")))
             {$IN = implode(explode("  ", $IN), " ");
              }

vielleicht weiss ja jemand noch etwas schnelleres ?


m.b.G.  Norbert
______________________
normal:   02292-681769
notfall:  0177-2363368
----------------------
e.o.m.