PHP 7.1.33, 7.2.25 and 7.3.12
The PHP developers recently released versions 7.1.33, 7.2.25 and 7.3.12 that fix several bugs. We’ve upgraded the PHP 7.1, 7.2 and 7.3 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.