Scopiazzando qua e la ho trovato questa soluzione:

codice:
<?php
function callback($buffer) {
  return (htmlspecialchars($buffer) . "
\n");
}
ob_start('callback');
?>
html .... html

<?php
ob_end_flush();
?>
Effettivamente ottengo lo scopo desiderato, ossia stampo a video il codice della pagina, con il Php valorizzato (non vedo il codice Php ma l'html restituito).
Ultima cosa da fare, è riuscire a mantenere l'indentazione del codice, che al contrario risulta tutto slla stessa linea.

Suggerimenti?
Grazie.