DDEV users periodically ask if they can use a specific PHP patch version with their projects, either to test/compare for a particular bug or to match a production version exactly.
This experimental add-on tries to address that need, although there are a number of caveats:
ddev start, and it takes a long time on the first ddev start or whenever you change versions. My tests on Gitpod, with a great internet connection, took about 8-9 minutes. It can be really annoying, and a better way to build would be an improvement.ddev debug refresh or DDEV_VERBOSE=true ddev start.php_version setting is ignored.ddev debug rebuild -s web --cachephp-fpm) which can be used to replace the ones installed in ddev-webserver.config.php-patch-build provides post-start hooks that install the built binaries.ddev add-on get rfay/ddev-php-patch-build
ddev restart
You can choose a different PHP version, the command below creates a .ddev/.env.php-patch-build file that you can commit:
ddev dotenv set .ddev/.env.php-patch-build --static-php-version=8.0.10ddev add-on get rfay/ddev-php-patch-buildddev restartconfig.php-yamlDockerfile.php-patch-buildContributed and maintained by @rfay