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>
