7_1_2.php

<?php
$_SERVER['BASE_PAGE'] = 'releases/7_1_2.php';
include_once __DIR__ . '/../include/prepend.inc';
site_header("PHP 7.1.2 Release Announcement");
?>

     <h1>PHP 7.1.2 Release Announcement</h1>

     <p>The PHP development team announces the immediate availability of PHP
     7.1.2. Several bugs have been fixed.

     All PHP 7.1 users are encouraged to upgrade to this version.
     </p>

     <p>For source downloads of PHP 7.1.2 please visit our <a href="http://www.php.net/downloads.php">downloads page</a>,
     Windows source and binaries can be found on <a href="http://windows.php.net/download/">windows.php.net/download/</a>.
     The list of changes is recorded in the <a href="http://www.php.net/ChangeLog-7.php#7.1.2">ChangeLog</a>.
     </p>

<?php site_footer(); ?>