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_20.php
2019-07-04 11:19:01 +02:00

18 lines
747 B
PHP

<?php
$_SERVER['BASE_PAGE'] = 'releases/7_2_20.php';
include_once __DIR__ . '/../include/prepend.inc';
site_header("PHP 7.2.20 Release Announcement");
?>
<h1>PHP 7.2.20 Release Announcement</h1>
<p>The PHP development team announces the immediate availability of PHP 7.2.20.
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.20 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.20">ChangeLog</a>.
</p>
<?php site_footer(); ?>