PHP versions 7.3.25 and 7.4.13

The PHP developers recently released versions 7.3.25 and 7.4.13 that fix several bugs. We’ve upgraded the PHP 7.3 and 7.4 series on our servers as a result.

These changes should not be noticeable, but as always, don’t hesitate to contact us if you have any trouble.

(By the way, if you’re wondering about support for the brand new PHP 8.0: that isn’t yet available because many things are still incompatible with it, but we do plan to support it in the future.)