PHP 5.5.13 Release Announcement

The PHP Development Team announces the immediate availability of PHP 5.5.13.
This release fixes several bugs against PHP 5.5.12, and addresses several
CVEs in Fileinfo (CVE-2014-0238 and CVE-2014-0237).