[pkg-php-pear] Bug#882267: php-mockery FTBFS: Class 'DOMDocument' not found

[Adrian Bunk]

Source: php-mockery
Version: 0.9.5-1
Severity: serious
Tags: buster sid

Some recent change in unstable (PHP 7.1?) makes php-mockery FTBFS:

https://tests.reproducible-builds.org/debian/history/php-mockery.html
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/php-mockery.html

...
   debian/rules override_dh_auto_test
make[1]: Entering directory '/build/1st/php-mockery-0.9.5'
phpunit --include-path library --bootstrap debian/bootstrap.php
Class 'DOMDocument' not found
debian/rules:18: recipe for target 'override_dh_auto_test' failed
make[1]: *** [override_dh_auto_test] Error 1