Closes #4720

ChangeLog-8.5.md

@@ -2,6 +2,12 @@
 
 All notable changes of the PHPUnit 8.5 release series are documented in this file using the [Keep a CHANGELOG](https://keepachangelog.com/) principles.
 
+## [8.5.18] - 2021-MM-DD
+
+### Fixed
+
+* [#4720](https://github.com/sebastianbergmann/phpunit/issues/4720): PHPUnit does not verify its own PHP extension requirements
+
 ## [8.5.17] - 2021-06-23
 
 ### Changed
@@ -149,6 +155,7 @@ All notable changes of the PHPUnit 8.5 release series are documented in this fil
 * [#3967](https://github.com/sebastianbergmann/phpunit/issues/3967): Cannot double interface that extends interface that extends `\Throwable`
 * [#3968](https://github.com/sebastianbergmann/phpunit/pull/3968): Test class run in a separate PHP process are passing when `exit` called inside
 
+[8.5.18]: https://github.com/sebastianbergmann/phpunit/compare/8.5.17...8.5
 [8.5.17]: https://github.com/sebastianbergmann/phpunit/compare/8.5.16...8.5.17
 [8.5.16]: https://github.com/sebastianbergmann/phpunit/compare/8.5.15...8.5.16
 [8.5.15]: https://github.com/sebastianbergmann/phpunit/compare/8.5.14...8.5.15

build/templates/binary-phar-autoload.php.in

@@ -30,6 +30,22 @@ if (version_compare('7.2.0', PHP_VERSION, '>')) {
     die(1);
 }
 
+foreach (['dom', 'json', 'libxml', 'mbstring', 'tokenizer', 'xml', 'xmlwriter'] as $extension) {
+    if (extension_loaded($extension)) {
+        continue;
+    }
+
+    fwrite(
+        STDERR,
+        sprintf(
+            'PHPUnit requires the "%s" extension.' . PHP_EOL,
+            $extension
+        )
+    );
+
+    die(1);
+}
+
 if (__FILE__ === realpath($_SERVER['SCRIPT_NAME'])) {
     $execute = true;
 } else {

phpunit

@@ -38,6 +38,22 @@ if (version_compare('7.2.0', PHP_VERSION, '>')) {
     die(1);
 }
 
+foreach (['dom', 'json', 'libxml', 'mbstring', 'tokenizer', 'xml', 'xmlwriter'] as $extension) {
+    if (extension_loaded($extension)) {
+        continue;
+    }
+
+    fwrite(
+        STDERR,
+        sprintf(
+            'PHPUnit requires the "%s" extension.' . PHP_EOL,
+            $extension
+        )
+    );
+
+    die(1);
+}
+
 if (!ini_get('date.timezone')) {
     ini_set('date.timezone', 'UTC');
 }