From 5a15d1aaa373ca2ffe9cd99f75d42e4a8ed4e4e9 Mon Sep 17 00:00:00 2001
From: Rusty Russell <rusty@rustcorp.com.au>
Date: Wed, 9 May 2018 13:43:17 +0930
Subject: [PATCH] Makefile-web: any PHP version will do.

php5 was finally removed from ozlabs.org, but php7.2 seems to work fine.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
---
 Makefile-web | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile-web b/Makefile-web
index 280d5952..29ca254e 100644
--- a/Makefile-web
+++ b/Makefile-web
@@ -3,7 +3,7 @@ default: upload
 include Makefile
 # This can be overridden on cmdline to generate pages elsewhere.
 WEBDIR=/srv/www/ccodearchive.net
-PHP=php5
+PHP=php
 
 MODS := $(ALL_MODULES:ccan/%=%)
 upload: fastcheck
-- 
2.39.2