switch-php-version

The explanation service is briefly unavailable. The repo facts above still work — try again shortly.