Merge pull request #6537 from mhei/openwrt-18.06-php7
authorMichael Heimpold <mhei@heimpold.de>
Sat, 21 Jul 2018 22:15:24 +0000 (00:15 +0200)
committerGitHub <noreply@github.com>
Sat, 21 Jul 2018 22:15:24 +0000 (00:15 +0200)
[openwrt-18.06] php7: update to latest version and include bugfixes


Trivial merge