PHP 7.0.17, 7.1.3 available

Releases of PHP 7.0.17, 7.1.3 (Issue #244) are now available. You can find links to download these releases on the PHP page.