php-docker-images-for-ci:具有一组Docker文件的存储库,该文件是使用某些CI工具从官方PHP映像创建的