Also ist es bloß eine einmalige Konvertierung.
Das macht das einfacher: mein Html-Editor wandelt zum
Bespiel sämtliche unbekannte Zeichen in Entities um.
Den gibts allerdings nicht kostenlos, so viele
Editoren kenne ich auch nicht, aber es gibt bestimmt
auch freeware-editoren, die das unterstützen.
Wenn das mit htmlentites() nicht klappt, weiß ich in
PHP so direkt auch nichts.
Andere Lösung, die aber etwas umständlich ist:
Den Text in Microsoft Word einfügen und "Als Website
speichern" wählen. (Geht glaube ich erst ab Word 2000)
Dort im Quelltext stehen dann die gewohnten HTML
Entities, die man dann ins richtige PHP-Dokument
einfügen kann.