PHP 5.4.31 and 5.5.15

The PHP developers recently released versions 5.4.31 and 5.5.15 that fix several bugs. We’ve updated PHP 5.4 and 5.5 on our servers as a result.

The PHP 5.3 version (5.3.28) was not changed.

These changes should not be noticeable, but in the unlikely event you experience any trouble, don’t hesitate to let us know.