The PHP development team announces the immediate availability of PHP 7.1.12. This is a bugfix release, with several bug fixes included. All PHP 7.1 users are encouraged to upgrade to this version. Version 7.1.12 23 Nov 2017 Core: Fixed bug #75420...