Mit PHP Text im HTML Dokument ersetzen...

[Mike]

Hi,

also angenommen ich habe 100 php Dateien. Jetzt habe ich in vielen diesen Seiten "mikeey" statt "mike" geschrieben. Das "mikeey" will ich nun mit PHP durch "mike" erstzen. Wie mache ich das? Geht das?

Noch was wichtiges. In allen diesen 100 Dateien wird "navi.php" includet, das heißt, doch "navi.php" habe ich auf alle Dateien "gleichzeitig" Zugriff.

Ich weiss, es gibt andere Lösungen, aber es geht mir um das Prinzip, ich möchte wissen ob man sowas mit PHP lösen kann.

Kann mir jemand ein Beispielscode posten?

Danke
Ciao