Now, if someone could tell me how to use it within PHP...<p>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!)<p>[0] <a href="https:&#x2F;&#x2F;github.com&#x2F;gathercontent&#x2F;htmldiff" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;gathercontent&#x2F;htmldiff</a>