The PHP development team announces the immediate availability of PHP 7.1.15. This is a security fix release, containing one security fix and many bug fixes. All PHP 7.1 users are encouraged to upgrade to this version. For source downloads of PHP...