1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Files
archived-web-php/releases/7_2_11.php
Sara Golemon f1cb7e74c4 Swap uses of _SERVER[DOCUMENT_ROOT] for __DIR__
4/4 - Update releases directory.
2019-05-31 12:48:34 -04:00

18 lines
747 B
PHP

<?php
$_SERVER['BASE_PAGE'] = 'releases/7_2_11.php';
include_once __DIR__ . '/../include/prepend.inc';
site_header("PHP 7.2.11 Release Announcement");
?>
<h1>PHP 7.2.11 Release Announcement</h1>
<p>The PHP development team announces the immediate availability of PHP 7.2.11.
This is a bugfix release.</p>
<p>All PHP 7.2 users are encouraged to upgrade to this version.</p>
<p>For source downloads of PHP 7.2.11 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.2.11">ChangeLog</a>.
</p>
<?php site_footer(); ?>