On the PHP.net site there's an announcement about the release of the latest version in the PHP 7.1.x series: PHP 7.1.10.

The PHP development team announces the immediate availability of PHP 7.1.10. This is a bugfix release, with several bug fixes included. All PHP 7.1 users are encouraged to upgrade to this version.

Changes in this release includes updates to the CLI server, cURL handling, gettext functionality and internationalization. As always you can get the latest release from the main downloads page or from windows.php.net for the Windows binaries.