Quindi praticamente se utilizzo PHP dovrei scrivere così?

Mettere il contenuto esterno in un file con estensione "inc":

codice:
<div id="nav">
contenuto esterno
</div>
e richiamare il contenuto nella pagina html o php così:

codice:
<?php
include($_SERVER['DOCUMENT_ROOT'] . "nav.inc");
?>