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_0_13.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

22 lines
845 B
PHP

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