Ciao

da una pagina php, mostro del codice html con una cosa di questo tipo:

Codice PHP:
echo "<pre>".htmlentities($stringa_codice_html)."</pre>"; 
funziona tutto benone.

Vorrei però stampare il codice html indentato (e non sempre la stringa lo contiene indentato, per diversi motivi...) che voi sappiate c'è una funzione o una classe php di terze parti che fa l'indentazione del codice html?

grazie