bhe, di solito converrebbe salvare in una pagina chiamata menu.inc.php, tutto l'HTML del menu, per poi includerlo direttamente in ogni pagina del sito.