Hallo Jörg,
aha, dankeschön. Ich hätte mir vorstellen könne, dass bei der Datei, die aufgrund des Includes eingebunden wird, aufgrund der Endung PHP5 verwendet wird.
Nein, es interessiert weder den Parser noch den Webserver welche Endung die eingebundene Datei hat.
Schöne Grüße,
Johannes