PHP3-Endungen auf PHP abändern

[pfrei]

Hallo

Ich habe noch ein altes Websiteprojekt am Laufen. Mittlerweile läuft alles auf PHP5. Alle Dateien weisen jedoch noch die Endung PHP3 auf. Kann mir jemand einen Tipp geben, um
- alle PHP3-Endungen auf PHP zu stellen und
- auch in den einzelnen Files bei den includes, etc. überall die File-Endung auf PHP zu stellen?

Danke!!

[Joghurt]

Vorher Sicherheitskopien anlegen!
$ find . -iname "*.php3" | xargs rename 's/php3/php'
$ find . -iname "*.php" -or -iname "*.inc" -exec sed -i -e 's/\.php3/\.php/g' {} \;
Das geht natürlich davon aus, dass die Zeichenfolge ".php3" nur in Includes etc. vorkommt.
(Und das deine sed-Version das -inplace flag unterstützt.)