Merge pull request #8673 from MikePetullo/php7
authorMichael Heimpold <mhei@heimpold.de>
Sun, 14 Apr 2019 04:51:48 +0000 (06:51 +0200)
committerGitHub <noreply@github.com>
Sun, 14 Apr 2019 04:51:48 +0000 (06:51 +0200)
php7: facilitate running php7-fastcgi without listening on TCP socket


Trivial merge