Hello.
How about adding a definition of Development Containers to php-src?
https://github.com/php/php-src/pull/15203
This makes it easier to build and contribute to the php-src development environment. It also allows you to use GitHub Codespaces.
I’d be glad to get your opinion.
Best regards,
Go Kudo