xref: /web-php/releases/7_1_13.php (revision f1cb7e74) 
1<?php
2$_SERVER['BASE_PAGE'] = 'releases/7_1_13.php';
3include_once __DIR__ . '/../include/prepend.inc';
4site_header("PHP 7.1.13 Release Announcement");
5?>
6
7    <h1>PHP 7.1.13 Release Announcement</h1>
8
9  <p>The PHP development team announces the immediate availability of PHP
10  7.1.13. This is a bugfix release, with several bug fixes included.
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.13 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.13">ChangeLog</a>.
18  </p>
19
20
21<?php site_footer(); ?>
22