License for PHP 8.x?

I was just checking to see what the license was for PHP and this page[1] states: "PHP 4, PHP 5 and PHP 7 are distributed under the PHP License v3.01, copyright (c) the PHP Group." Can I assume that PHP 8 is also distributed under the PHP License v3.01 and that this page on PHP.net <http://php.net/> has just not yet been updated to reflect the existence of PHP 8? -Mike P.S. Relatedly, if someone wants to publish code in a GitHub repo with intent to try to have it included in PHP what license should be used? Would BSD-3 be appropriate? [1] https://www.php.net/license/index.php <https://www.php.net/license/index.php>