Esattamente... se per caso però il server non riconoscesse come estensione per php valida "php3" non ti resta che rinominare tutto e verificare i collegamenti/includes (mass-find/replace).