Hallo,
vielleicht mache ich was falsch.
offensichtlich
hier den php datei. Endung ist php
Es heißt "die PHP-Datei" und der gezeigte Code ist dann wohl deine nav.php. Ist denn deine Datei, in der du die nav.php aufrufen möchtest auch eine PHP-Datei? Ich vermute, die hast du als HTML-Datei gespeichert und das kann dann ja nicht funktionieren...
Gruß
Kalk