Das sollte keine Probleme bereiten. Der Spider 'weiß'
doch gar nicht, was für eine Datei ihm präsentiert wird.
Und selbst wenn... Gib doch einfach mal index.php bei
verschiedenen Suchmaschinen ein. Dann wirst du ja sehen,
ob php-Dateien Probleme machen. ;-)
Gruß NN