CREDITS

For the list of people who've put work into PHP, please see

https://www.php.net/credits.php