Am 07.11.2023 um 11:33 schrieb Thomas Chauchefoin via internals:
For instance, the official Docker image has it on [2].
"Official" is relative here. That image is maintained by (the) Docker (community), it is not maintained by the PHP project.
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php