update for PHP-8
authorMichael Wallner <mike@php.net>
Mon, 30 Nov 2020 14:09:38 +0000 (15:09 +0100)
committerMichael Wallner <mike@php.net>
Mon, 30 Nov 2020 14:09:38 +0000 (15:09 +0100)
commit4508f562f8ef3c07b4490bef0e7563e73ef9a5f0
tree6f6c7f990b5e3163576daf43f1560318cbb88f97
parentf24680bd797a891102f9430f54d2f3c2f06d7513
update for PHP-8
Makefile
php-version-url-dist.php
php-version.php