1<?php 2$_SERVER['BASE_PAGE'] = 'releases/7_1_19.php'; 3include_once __DIR__ . '/../include/prepend.inc'; 4site_header("PHP 7.1.19 Release Announcement"); 5?> 6 7 <h1>PHP 7.1.19 Release Announcement</h1> 8 9 <p>The PHP development team announces the immediate availability of PHP 10 7.1.19. 11 12 All PHP 7.1 users are encouraged to upgrade to this version. 13 </p> 14 15 <p>For source downloads of PHP 7.1.19 please visit our <a href="http://www.php.net/downloads.php">downloads page</a>, 16 Windows source and binaries can be found on <a href="http://windows.php.net/download/">windows.php.net/download/</a>. 17 The list of changes is recorded in the <a href="http://www.php.net/ChangeLog-7.php#7.1.19">ChangeLog</a>. 18 </p> 19 20 21<?php site_footer(); ?> 22
