The final version of PHP 7.1.9 is now available. This is a bugfix release, with several bug fixes included. All PHP 7.1 users are encouraged to upgrade to this version.  PHP 7.1.9 released