... aber reicht es nicht einfach die deutsche Sprachdatei des jeweiligen Themes zu entfernen, oder eben dieses ins Englische zu übersetzen? Oder werden da noch Übersetzungen aus dem Hauptsprachfile gezogen (was ja eigentlich nicht sein sollte...)?
Gute Frage, aber das ist für mich die schnellste und einfachste Lösung, ohne in irgendwelchen Files was rumzupfuschen ;) Wenn ich es dann nicht mehr brauche, Plugin deaktivieren, fertig, und alles ist beim Alten.
Ob es mit der Sprachdatei des Themes entfernen getan ist, weiß ich nicht. Mir geht es u.a. darum, dass im englischen Frontend z.B. das Datum auch englisch ist. Klar kann man das erreichen, wenn man in den WP Settings -> Allgemein auf englisch umstellt, aber dann ist auch das Backend englisch.
Wie auch immer, für mich ist das kleine Plugin über den o.g. Code die sauberste, einfachste Lösung, ohne dass ich groß an irgendwelchen Dateien was ändern muss.