From 1190eae848df520d1009d3e36401210c039084c8 Mon Sep 17 00:00:00 2001
From: Eileen McNaughton <emcnaughton@wikimedia.org>
Date: Thu, 10 Aug 2023 13:11:32 +1200
Subject: [PATCH] Use phpunit when running on php 7.3+

---
 tools/scripts/phpunit | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/scripts/phpunit b/tools/scripts/phpunit
index 1102aa2809..4f16653990 100755
--- 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';
   }
-- 
2.25.1