PHP 7.2.15 and 7.3.2
The PHP developers recently released versions 7.2.15 and 7.3.2 that fix several bugs. We’ve upgraded the PHP 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.