Many thanks to @hetzner for patching php so quickly they had already done it before I even thought about panicking about it.