An XML pretty printer for PHP