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