PHP 8.0 branch out

Hello internals

We've branched out the PHP-8.0 branch:
http://git.php.net/?p=php-src.git;a=shortlog;h=refs/heads/PHP-8.0

With that, master is now open for PHP 8.1 development (
http://git.php.net/?p=php-src.git;a=commit;h=14806e08).

Please remember to commit all the changes from the PHP-8.0 branch to
master.

Kind regards,

-- Gabriel Caruso