PHP 5.6.39, 7.0.33, 7.1.25, 7.2.13, 7.3.0 available

Releases of PHP 5.6.39, 7.0.33, 7.1.25, 7.2.13, 7.3.0 (Issue #396) are now available.
You can find links to download these releases on the PHP page.