In effetti con entrambe le soluzioni che mi hai proposto funziona!
E' un buon metodo usare "readFile" o "echo file_getContents" (visto che potrei doverlo usare in OGNI pagina del mio sito, magari per includervi un menu) oppure ci sono effetti collaterali che da neofita non immagino neppure?
Comuque PhpInfo mi dice
"Server API: CGI"
insieme ad un mucchio di altre cose che se vuoi puoi vedere qui:
http://www.parrocchiadibazzano.it/index.php
Intanto grazie!