com web/php: 7.1.15RC1: include/version.inc
| From: | Nikita Popov | Date: | Thu, 15 Feb 2018 17:48:21 +0000 |
| Subject: | com web/php: 7.1.15RC1: include/version.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-26751@lists.php.net to get a copy of this message | ||
Commit: ff96856fd98205a5708a6932651c214f2c3fad7d
Author: Nikita Popov <nikita.ppv@gmail.com> Thu, 15 Feb 2018 18:48:21 +0100
Parents: c737264b8c4886a551603df41f16f64a03a73356
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=ff96856fd98205a5708a6932651c214f2c3fad7d
Log:
7.1.15RC1
Changed paths:
M include/version.inc
Diff:
diff --git a/include/version.inc b/include/version.inc
index 6561492..b735fb5 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -29,8 +29,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 = "18 Jan 2018";;
+$PHP_7_1_RC = "7.1.15RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "15 Feb 2018";
$PHP_7_1_VERSION = "7.1.14";
$PHP_7_1_DATE = "1 Feb 2018";