[php] WG: Linefeed mit br ersetzen

[Martin Samesch]

Hi Björn,

On Tue, Oct 21, 2003 at 05:43:21PM +0200, Björn Schotte wrote:
> * Thomas Langfeld wrote:
> > Und wenn ich die Wahl habe zwischen einem 3-Zeiler, der vielleicht im
> > Hinteren-Nachkomma-Tausendstel-Mili-Sekunden-Bereich schneller ist und einem
> > Einzeiler, um ein Problem zu lösen, brauche ich wirklich nicht lange zu
> > überlegen ...
> 
> Es ist ineffizient, einen regulären Ausdruck zu verwenden, wenn
> gar keiner nötig ist; genau so wie es nicht nötig ist, 3x str_replace()
> zu verwenden, da folgendes bereits ausreichend ist:
> 
> $txt = str_replace(array('\r\n','\r','\n'),'<br>',$txt);

Mir scheint, das ist die optimale Lösung. Zwar etwas langsamer, als
3 x str_replace(), aber immer noch wesentlich schneller (prozentual)
als preg_replace().

Grüße,
Martin