[php] Etwas OT - Umwandeln von dateiendungen

[Helmut P. Fleischhauer]

Hallo,

versuche gerade, ein kleines shell script aus dem Gedächtnis
zu wühlen, das alle Dateien in einem Verzeichnis ( einige 100 )
vom *.php3 bzw *.inc in *.php umwandelt.

Unter Linux

Hat jemand einen Tip ?

Danke

Helmut P. Fleischhauer