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
