[legierski]

Now, if someone could tell me how to use it within PHP...

My company created an open-source HTML-diffing PHP package[0] that could be considerably improved by replacing the old Tidy with the HTML5 Tidy (if I only knew how!)

[0] https://github.com/gathercontent/htmldiff

[aargh_aargh]

You're using the PHP extension based on libtidy:

https://github.com/gathercontent/htmldiff/blob/master/compos...

http://php.net/manual/en/book.tidy.php