remplacer "double guillemet low-9" avec php

Question

J'ai enfin fait un analyseur d'un ancien fichier texte généré par ordinateur. Maintenant, le problème est l'encodage de caractères. Ou du moins c'est ce que je pense.

J'ai essayé beaucoup de méthodes trouvées dans stackoverflow pour remplacer double guillemet low-9 avec php. Pas de succès jusqu'à présent.

Ceci est mon code:

$lines = file("RECEIVE_modified.txt", FILE_IGNORE_NEW_LINES); 
$result = str_replace("\0xE2\0x80\0x9E", "ä", $lines); 

J'ai essayé „, et d'autres possibilités au lieu de \0xE2\0x80\0x9E.

Le code fonctionne, bien sûr, mais quelle est la bonne syntaxe pour ce guillemet stupide?

Answer 1

j'ai réussi à le faire par ce qui suit:

$result = utf8_decode($lines); 

Merci deceze pour mettre ma tête droite!