Mein Vorschlag ist auch unnötig für den hier angestrebten Zweck.
*EDIT*(um nicht zu sagen absoluter Blödsinn)
Habe aus Neugierde gerade mal selbst in /inc/search_replace_iso-8859-15.php das nötige eingefügt,
funktioniert, wie zu erwarten war, einwandfrei.
Tippe also auf Fehler bei der Änderung der Datei oder Cache-Problem.
Gruß,
noRiddle