PHP 5.4.25 and 5.5.9

The PHP developers recently released versions 5.4.25 and 5.5.9 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.