Editor: This is a function for PHP scripts to clean up HTML code before outputting it.
The function applies correct indentation to HTML/XHTML 1.0 and JavaScript and makes the output much more readable.
You can specify the wanted indentation through the variable $indent
