aboks/php-src-devtools

Tools to make it easier to contribute to PHP. Uses Docker containers for building, running and testing PHP from source.