PHP: stristr()

Als ich PHP lernte, war ich vom Umfang der Funktionen begeistert. Und eine der Funktionen, die mir besonders gefallen hat, war stristr(). Wie geil, dachte ich mir, dass man in der Zeichenkette unabhängig von Groß / Kleinschreibung suchen kann.
Die Realität: funktioniert nicht, wenn es um die deutschen Sonderzeichen geht, zumindest unter PHP 7.4. Abhilfe schafft etwas Anderes: 1) beide Zeichenketten zuerst zu lowercase umwandeln (unter Umständen mit mb_strtolower() ) 2) erst dann suchen.

(Anmerkung meines Kollegen: „Mit stristr kriegt man unterschiedliche Ergebnisse, je nachdem wie der Server eingestellt ist.
Also gut, dass es direkt nicht geklappt hat.“
)