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/ http://php.net/> has just not yet been updated to reflect the existence of PHP 8?

Yes, see https://github.com/php/php-src/blob/master/LICENSE https://github.com/php/php-src/blob/master/LICENSE. The page should be updated to say something like "PHP 4 and newer".

Thanks for the quick reply.

Maybe this would be a good first contribution for me? How could I go about updating that page?

-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?

While both MIT and BSD are compatible, it's generally preferred to license it under the PHP license. This allows free code movement within php-src.

Doh! Sorry, I had a bit of a brain fart.

When creating a repo GitHub allows us to select a LICENSE but does not include the PHP license as an option, and I was fixated on the list they presented. But obviously it is as simple as copying the PHP license into the repo after it is created, even though GitHub doesn't provide as a default option. :-)

-Mike