From eaaa26a69e0425ac692e179ea37caca522a3116c Mon Sep 17 00:00:00 2001
From: Bo Yang <teboring@google.com>
Date: Wed, 2 Dec 2020 05:23:32 +0000
Subject: [PATCH] Update phpunit for php7.1 in c extension test

---
 php/tests/test.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/php/tests/test.sh b/php/tests/test.sh
index 91ea56ec8f5b..7f35c27072be 100755
--- a/php/tests/test.sh
+++ b/php/tests/test.sh
@@ -11,9 +11,8 @@ PHP_VERSION=$(php -r "echo PHP_VERSION;")
 
 # Each version of PHPUnit supports a fairly narrow range of PHP versions.
 case "$PHP_VERSION" in
-  7.0.*|7.1.*|7.2.*)
-    # Oddly older than for 5.6. Not sure the reason.
-    PHPUNIT=phpunit-5.6.0.phar
+  7.1.*|7.2.*)
+    PHPUNIT=phpunit-7.5.0.phar
     ;;
   7.3.*|7.4.*)
     PHPUNIT=phpunit-8.phar