From c199b173f8dd2a058fa417b2373252dfbe7c176d Mon Sep 17 00:00:00 2001
From: Olly Betts <olly@survex.com>
Date: Fri, 8 Feb 2019 14:37:14 +1300
Subject: [PATCH] configure: Look for php7.2 and php7.3

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index 2b7289193..6380260f1 100644
--- a/configure.ac
+++ b/configure.ac
@@ -2002,7 +2002,7 @@ if test x"${PHPBIN}" = xno; then
     PHP=
 else
     if test "x$PHPBIN" = xyes; then
-      AC_CHECK_PROGS(PHP, [php7.1 php7.0 php])
+      AC_CHECK_PROGS(PHP, [php7.3 php7.2 php7.1 php7.0 php])
     else
       PHP=$PHPBIN
     fi