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