PHP 7.0.19, 7.1.5 available

Releases of PHP 7.0.19, 7.1.5 (Issue #262) are now available. You can find links to download these releases on the PHP page.