Aha. Du schreibst also im PHP-Script Werte ins $_GET?

Denn wenn's vom Browser kommt, kann's vom User manipuliert sein.

Richtig, lässt sich nicht anders machen.

$_POST["s"] kommt vom User und wird geprüft.
Wenn ok - durchgereicht, wenn nicht - Abbruch

Ist schlecht gemacht, aber ich darf es nicht ändern und muss nun versuchen den String aus $_POST["s"] in der Ausgabe aus der DB ($z[1])  farblich zu markieren. Was ich gebaut habe funktioniert insoweit - nur das eben preg_replace leider Case Sensitiv arbeitet. Also brauch ich eine andere Funktion. Nur welche?

Gruß Rainer