The PHP development team announces the immediate availability of PHP 7.1.22. This is a security release. One security bug has been fixed in this release. All PHP 7.1 users are encouraged to upgrade to this version. For source downloads of PHP 7.1.22...