indentazione codice html

[nik600]

Ciao

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

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

[nik600]

credo che questo sia quello che mi serve

http://pecl.php.net/package/tidy

vorrei evitare però di dover installare estensioni... che voi sappiate c'è qualcosa in php?