com web/php: add 7.1.24RC1 and 7.2.12RC1: include/version.inc
| From: | Remi Collet | Date: | Thu, 25 Oct 2018 09:56:26 +0000 |
| Subject: | com web/php: add 7.1.24RC1 and 7.2.12RC1: include/version.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27396@lists.php.net to get a copy of this message | ||
Commit: b762835b57acb2568104d2a17e33e3d6abc7762d
Author: Remi Collet <remi@php.net> Thu, 25 Oct 2018 11:56:26 +0200
Parents: 61ffa7a928e2b767bedab8744b37dc00fad96153
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=b762835b57acb2568104d2a17e33e3d6abc7762d
Log:
add 7.1.24RC1 and 7.2.12RC1
Changed paths:
M include/version.inc
Diff:
diff --git a/include/version..inc b/include/version.inc
index ca0e0c0..6335700 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -20,8 +20,8 @@ $PHP_7_3_RC = '7.3.0RC4';
$PHP_7_3_RC_DATE = "25 Oct 2018";
/* PHP 7.2 Release */
-$PHP_7_2_RC = false; // Current RC version (e.g., '7.2.1RC1') or false
-$PHP_7_2_RC_DATE = "27 Sep 2018";
+$PHP_7_2_RC = '7.2.12RC1'; // Current RC version (e.g., '7.2.1RC1') or false
+$PHP_7_2_RC_DATE = "25 Oct 2018";
$PHP_7_2_VERSION = "7.2.11";
$PHP_7_2_DATE = "11 Oct 2018";
@@ -32,8 +32,8 @@ $PHP_7_2_SHA256 = array(
);
/* PHP 7.1 Release */
-$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "27 Sep 2018";
+$PHP_7_1_RC = '7.1.24RC1'; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "25 Oct 2018";
$PHP_7_1_VERSION = "7.1.23";
$PHP_7_1_DATE = "11 Oct 2018";