What steps will reproduce the problem?
The $dom property of the HTML5_TreeBuilder class is private and provides no
method to configure a custom implementation of DOMDocument.
What is the expected output? What do you see instead?
Not applicable.
Please provide any additional information below.
I propose that the constructor call a template method to set the $dom property.
I am attaching some sample code to illustrate my idea.
If you would like me to provide a working patch, please LMK.
Regards,
Marshall