The PHP group announced the release of PHP 7.2.19 today on Twitter, among other places. This release is a security release and it’s recommended all users of PHP 7.2 upgrade.
Get secure.— php.net (@official_php) May 30, 2019
Get the latest releases of PHP.
Get https://t.co/VqsPMvqYvO .
7.3.6, 7.2.19, and 7.1.30 are out and include the latest in important fixes.
This release contains important security fixes. One of the fixes that stands out is a JSON security fix, which fixes a use-after-free vulnerability. The JSON module is widely used in PHP, so it’s important that PHP systems get upgraded as soon as possible.
This release should be in the LaunchPad PPA soon. I will update this post with instructions on how to upgrade once I hear back from the maintainer of the PPA.