com web/php: 7.1 rc info: include/version.inc
| From: | Joe Watkins | Date: | Thu, 20 Jul 2017 18:26:40 +0000 |
| Subject: | com web/php: 7.1 rc info: include/version.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-26173@lists.php.net to get a copy of this message | ||
Commit: 4c1cb3943de64d702b7c4d9022a9353cb553719d
Author: Joe Watkins <krakjoe@php.net> Thu, 20 Jul 2017 19:26:40 +0100
Parents: c416c5eac1f1ca1adc504425aad510f7302a578f
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=4c1cb3943de64d702b7c4d9022a9353cb553719d
Log:
7.1 rc info
Changed paths:
M include/version.inc
Diff:
diff --git a/include/version.inc b/include/version.inc
index e563d71..9495e85 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -17,8 +17,8 @@
*/
/* PHP 7.1 Release */
-$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false
-$PHP_7_1_RC_DATE = "22 Jun 2017";
+$PHP_7_1_RC = "7.1.8RC1"; // Current RC version (e.g., '5.6.7RC1') or false
+$PHP_7_1_RC_DATE = "20 Jul 2017";
$PHP_7_1_VERSION = "7.1.7";
$PHP_7_1_DATE = "06 Jul 2017";