[php] WG: Linefeed mit br ersetzen

[Dennis Sterzenbach]

Aloha he,

> > $sep = (strstr(PHP_OS, 'WIN')) ? "\r\n" : "\n";
> > $output = str_replace($sep, '<br>', $text);
> >
> wenn wir jetzt grad dabei sind, das Problem in allen
> Tiefen zu diskutieren:
>
> Ich würde mich nicht auf PHP_OS verlassen. Das zeigt
> zwar das richtige Betriebssystem an, aber sonst nicht
Welche \r \n Kombinationen auch immer verwendet wurden in
dem Quell-String ist doch Käse wie Pampers, da eh alle diese
ersetzt werden müss(t)en.
Also hast Du Recht mit der Aussage, denn die Prüfung auf
das PHP_SO sollte nicht wichtig sein.


> Die Lösung   $new = preg_replace('/\r\n|\r|\n/', '<br>', $string);
> von Thomas Langfeld ist IMHO das optimum.
Ajo, ACK.

--
Dennis