PHP nightly outdated

The nightly builds are currently failing for a different reason. See

I’ll comment on the PR separately.