Use phpunit when running on php 7.3+

diff --git a/tools/scripts/phpunit b/tools/scripts/phpunit
index 1102aa28094dcff28f4ff3bff979199249a381b9..4f1665399066bfbacaceeded9957b978a75dbb24 100755 (executable)
--- a/tools/scripts/phpunit
+++ b/tools/scripts/phpunit
@@ -92,6 +92,9 @@ function pickPhpunitCommand() {
   if (getenv('PHPUNIT')) {
     return getenv('PHPUNIT');
   }
+  elseif (version_compare(PHP_VERSION, '7.3', '>=')) {
+    return 'phpunit9';
+  }
   elseif (version_compare(PHP_VERSION, '7.2', '>=')) {
     return 'phpunit8';
   }