Makefile-web: any PHP version will do.
authorRusty Russell <rusty@rustcorp.com.au>
Wed, 9 May 2018 04:13:17 +0000 (13:43 +0930)
committerRusty Russell <rusty@rustcorp.com.au>
Wed, 9 May 2018 04:13:28 +0000 (13:43 +0930)
php5 was finally removed from ozlabs.org, but php7.2 seems to work fine.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>

No differences found