From 5994c15ec9ff3bbdb441dcf33eec7ea5776dec02 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 13 Sep 2018 10:46:52 +0200 Subject: [PATCH] 7.2.10 announcement --- ChangeLog-7.php | 69 ++++++++++++++++++++++++++++++++ archive/archive.xml | 1 + archive/entries/2018-09-13-1.xml | 24 +++++++++++ include/releases.inc | 33 +++++++++++++++ include/version.inc | 12 +++--- releases/7_2_10.php | 18 +++++++++ 6 files changed, 151 insertions(+), 6 deletions(-) create mode 100644 archive/entries/2018-09-13-1.xml create mode 100644 releases/7_2_10.php diff --git a/ChangeLog-7.php b/ChangeLog-7.php index 9a2cf803c..112fdbab7 100644 --- a/ChangeLog-7.php +++ b/ChangeLog-7.php @@ -6,6 +6,75 @@ site_header("PHP 7 ChangeLog", array("current" => "docs", "css" => array("change ?>

PHP 7 ChangeLog

+
+

Version 7.2.10

+ + +
+

Version 7.2.9

diff --git a/archive/archive.xml b/archive/archive.xml index e9fe2422b..acce903b6 100644 --- a/archive/archive.xml +++ b/archive/archive.xml @@ -9,6 +9,7 @@ http://php.net/contact php-webmaster@lists.php.net + diff --git a/archive/entries/2018-09-13-1.xml b/archive/entries/2018-09-13-1.xml new file mode 100644 index 000000000..45c5e9b3d --- /dev/null +++ b/archive/entries/2018-09-13-1.xml @@ -0,0 +1,24 @@ + + + PHP 7.2.10 Released + http://php.net/archive/2018.php#id2018-09-13-1 + 2018-09-13T08:44:08+00:00 + 2018-09-13T08:44:08+00:00 + + + + + +
+

The PHP development team announces the immediate availability of PHP + 7.2.10. This is a security release which also contains several minor bug fixes.

+ +

All PHP 7.2 users are encouraged to upgrade to this version.

+ +

For source downloads of PHP 7.2.10 please visit our downloads page, + Windows source and binaries can be found on windows.php.net/download/. + The list of changes is recorded in the ChangeLog. +

+
+
+
diff --git a/include/releases.inc b/include/releases.inc index 7140f34a7..50dec286b 100644 --- a/include/releases.inc +++ b/include/releases.inc @@ -2,6 +2,39 @@ $OLDRELEASES = array ( 7 => array ( + '7.2.9' => + array ( + 'announcement' => + array ( + 'English' => '/releases/7_2_9.php', + ), + 'source' => + array ( + 0 => + array ( + 'filename' => 'php-7.2.9.tar.bz2', + 'name' => 'PHP 7.2.9 (tar.bz2)', + 'sha256' => 'e9e3aaa6c317b7fea78246a758b017544366049d2789ad5a44fe9398464c53a8', + 'date' => '16 Aug 2018', + ), + 1 => + array ( + 'filename' => 'php-7.2.9.tar.gz', + 'name' => 'PHP 7.2.9 (tar.gz)', + 'sha256' => '23fcc1e4d10e06ddfdbc1163a8f0d147a7813467273f7946eb0de1b825d1d3e6', + 'date' => '16 Aug 2018', + ), + 2 => + array ( + 'filename' => 'php-7.2.89tar.xz', + 'name' => 'PHP 7.2.9 (tar.xz)', + 'sha256' => '3585c1222e00494efee4f5a65a8e03a1e6eca3dfb834814236ee7f02c5248ae0', + 'date' => '16 Aug 2018', + ), + ), + 'date' => '16 Aug 2018', + 'museum' => false, + ), '7.1.20' => array ( 'announcement' => diff --git a/include/version.inc b/include/version.inc index f2b262cc0..f9bd90806 100644 --- a/include/version.inc +++ b/include/version.inc @@ -20,15 +20,15 @@ $PHP_7_3_RC = '7.3.0beta3'; $PHP_7_3_RC_DATE = "30 Aug 2018"; /* PHP 7.2 Release */ -$PHP_7_2_RC = '7.2.10RC1'; // Current RC version (e.g., '7.2.1RC1') or false +$PHP_7_2_RC = false; // Current RC version (e.g., '7.2.1RC1') or false $PHP_7_2_RC_DATE = "30 Aug 2018"; -$PHP_7_2_VERSION = "7.2.9"; -$PHP_7_2_DATE = "16 Aug 2018"; +$PHP_7_2_VERSION = "7.2.10"; +$PHP_7_2_DATE = "13 Sep 2018"; $PHP_7_2_SHA256 = array( - "tar.bz2" => "e9e3aaa6c317b7fea78246a758b017544366049d2789ad5a44fe9398464c53a8", - "tar.gz" => "23fcc1e4d10e06ddfdbc1163a8f0d147a7813467273f7946eb0de1b825d1d3e6", - "tar.xz" => "3585c1222e00494efee4f5a65a8e03a1e6eca3dfb834814236ee7f02c5248ae0", + "tar.bz2" => "01b6129a0921a1636b07da9bc598a876669e45a462cef4b5844fc26862dbda9d", + "tar.gz" => "d2d908b49b6005e65dcc46cdc986603a19b7ff103119fce8ddd4648586d430a4", + "tar.xz" => "01c2154a3a8e3c0818acbdbc1a956832c828a0380ce6d1d14fea495ea21804f0", ); /* PHP 7.1 Release */ diff --git a/releases/7_2_10.php b/releases/7_2_10.php new file mode 100644 index 000000000..64b7a9968 --- /dev/null +++ b/releases/7_2_10.php @@ -0,0 +1,18 @@ + +

PHP 7.2.10 Release Announcement

+ +

The PHP development team announces the immediate availability of PHP 7.2.10. +This is a security release which also contains several minor bug fixes.

+ +

All PHP 7.2 users are encouraged to upgrade to this version.

+ +

For source downloads of PHP 7.2.10 please visit our downloads page, +Windows source and binaries can be found on windows.php.net/download/. +The list of changes is recorded in the ChangeLog. +

+