Releases of PHP 7.1.33, 7.2.25, 7.3.12, 7.4.0 (Issue #430) are now available.
You can find links to download these releases on the PHP page.