From 3b69ca8b0fe2cf2ecf51b28decf90bb6c850487c Mon Sep 17 00:00:00 2001 From: krakjoe Date: Fri, 24 Nov 2017 06:04:13 +0000 Subject: [PATCH] 7.1.12 --- ChangeLog-7.php | 65 ++++++++++++++++++++++++++++++++ archive/archive.xml | 1 + archive/entries/2017-11-24-1.xml | 25 ++++++++++++ include/releases.inc | 35 ++++++++++++++++- include/version.inc | 12 +++--- releases/7_1_12.php | 22 +++++++++++ 6 files changed, 153 insertions(+), 7 deletions(-) create mode 100644 archive/entries/2017-11-24-1.xml create mode 100644 releases/7_1_12.php diff --git a/ChangeLog-7.php b/ChangeLog-7.php index fe25683e8..f28e5d728 100644 --- a/ChangeLog-7.php +++ b/ChangeLog-7.php @@ -6,6 +6,71 @@ site_header("PHP 7 ChangeLog", array("current" => "docs", "css" => array("change ?>

PHP 7 ChangeLog

+
+

Version 7.1.12

+ + +

Version 7.0.26

diff --git a/archive/archive.xml b/archive/archive.xml index 26480b263..6acecf351 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/2017-11-24-1.xml b/archive/entries/2017-11-24-1.xml new file mode 100644 index 000000000..d8387372e --- /dev/null +++ b/archive/entries/2017-11-24-1.xml @@ -0,0 +1,25 @@ + + + PHP 7.1.12 Released + http://php.net/archive/2017.php#id2017-11-24-1 + 2017-11-24T06:02:50+00:00 + 2017-11-24T06:02:50+00:00 + + + + + +
+

The PHP development team announces the immediate availability of PHP + 7.1.12. This is a bugfix release, with several bug fixes included. + + All PHP 7.1 users are encouraged to upgrade to this version. +

+ +

For source downloads of PHP 7.1.12 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 510089f2e..020394069 100644 --- a/include/releases.inc +++ b/include/releases.inc @@ -2,6 +2,39 @@ $OLDRELEASES = array ( 7 => array ( + '7.1.11' => + array ( + 'announcement' => + array ( + 'English' => '/releases/7_1_11.php', + ), + 'source' => + array ( + 0 => + array ( + 'filename' => 'php-7.1.11.tar.bz2', + 'name' => 'PHP 7.1.11 (tar.bz2)', + 'sha256' => '7646d7de701fc969e3305eeeb2eddda3d46af6a88ee20ef4a47270c447228573', + 'date' => '26 Oct 2017', + ), + 1 => + array ( + 'filename' => 'php-7.1.11.tar.gz', + 'name' => 'PHP 7.1.11 (tar.gz)', + 'sha256' => 'de41b2c166bc5ec8ea96a337d4dd675c794f7b115a8a47bb04595c03dbbdf425', + 'date' => '26 Oct 2017', + ), + 2 => + array ( + 'filename' => 'php-7.1.11.tar.xz', + 'name' => 'PHP 7.1.11 (tar.xz)', + 'sha256' => '074093e9d7d21afedc5106904218a80a47b854abe368d2728ed22184c884893e', + 'date' => '26 Oct 2017', + ), + ), + 'date' => '26 Oct 2017', + 'museum' => false, + ), '7.0.25' => array ( 'announcement' => @@ -48,7 +81,7 @@ $OLDRELEASES = array ( 'filename' => 'php-7.1.10.tar.bz2', 'name' => 'PHP 7.1.10 (tar.bz2)', 'sha256' => '0ee51b9b1ae7eca3e9558f772ce20cbacd1f76420009b3af630c87027f9a41af', - 'date' => '28 Sep Aug 2017', + 'date' => '28 Sep 2017', ), 1 => array ( diff --git a/include/version.inc b/include/version.inc index c685d4cb1..beca6b23e 100644 --- a/include/version.inc +++ b/include/version.inc @@ -17,15 +17,15 @@ */ /* PHP 7.1 Release */ -$PHP_7_1_RC = "7.1.12RC1"; // Current RC version (e.g., '5.6.7RC1') or false +$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false $PHP_7_1_RC_DATE = "09 Nov 2017"; -$PHP_7_1_VERSION = "7.1.11"; -$PHP_7_1_DATE = "26 Oct 2017"; +$PHP_7_1_VERSION = "7.1.12"; +$PHP_7_1_DATE = "23 Nov 2017"; $PHP_7_1_SHA256 = array( - "tar.bz2" => "7646d7de701fc969e3305eeeb2eddda3d46af6a88ee20ef4a47270c447228573", - "tar.gz" => "de41b2c166bc5ec8ea96a337d4dd675c794f7b115a8a47bb04595c03dbbdf425", - "tar.xz" => "074093e9d7d21afedc5106904218a80a47b854abe368d2728ed22184c884893e", + "tar.bz2" => "f9ce3361ab99dce8f3f2fba663695ac9b18a3579bc8014dc280368d1577d87c4", + "tar.gz" => "188c67d8e424ce7a6fe93475aa64f53182c1d80ca3ac99439651ca91569d969c", + "tar.xz" => "a0118850774571b1f2d4e30b4fe7a4b958ca66f07d07d65ebdc789c54ba6eeb3", ); /* PHP 7.0 Release */ diff --git a/releases/7_1_12.php b/releases/7_1_12.php new file mode 100644 index 000000000..ce84ba286 --- /dev/null +++ b/releases/7_1_12.php @@ -0,0 +1,22 @@ + + +

PHP 7.1.12 Release Announcement

+ +

The PHP development team announces the immediate availability of PHP + 7.1.12. This is a bugfix release, with several bug fixes included. + + All PHP 7.1 users are encouraged to upgrade to this version. +

+ +

For source downloads of PHP 7.1.12 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. +

+ + +