include(""); con il punto e virgola finale

i commenti (ovviamente dentro <?php ?> ) li fai proprio come hai scritto :

// (per farli su una riga)
/* ciao
ciao */ (di più righe

se non funzionano non so.. forse sono disabilitati?