Hallo Christian,
Danke, jetzt funktioniert es - fast.
Es war wohl mein anfänglicher Fehler, doch eigentlich wollte ich string $s
$search = array("/((<pre>.*?</pre>)|$s)/e");
innerhalb von <pre></pre> ersetsen, damit es keine doppelten zeilenumbrüche gibt...
Was muss ich dafür ändern?
mit freundlichen grüßen und hoffnung auf baldige Antwort: Science