php-dom
as one of the required extensions
#1038
Merged
php-dom
as one of the required extensions
#1038