Hi, The PHP development team announces the immediate availability of PHP 7.2.5. This is a security release which also contains several minor bug fixes. All PHP 7.2 users are encouraged to upgrade to this version. For source downloads of PHP 7.2.5...