com web/php: 7.1.14RC1 info: include/version.inc
| From: | Anatol Belski | Date: | Thu, 18 Jan 2018 07:17:25 +0000 |
| Subject: | com web/php: 7.1.14RC1 info: include/version.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-26700@lists.php.net to get a copy of this message | ||
Commit: 93ec3ca194a572a4875b8c85012c0037ab8dea35
Author: Anatol Belski <ab@php.net> Thu, 18 Jan 2018 08:17:25 +0100
Parents: 5949664e29bdaec2fbd477ac167c79a513b7edf0
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=93ec3ca194a572a4875b8c85012c0037ab8dea35
Log:
7.1.14RC1 info
Changed paths:
M include/version.inc
Diff:
diff --git a/include/version.inc b/include/version.inc
index 91cc4b3..f037e61 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -17,8 +17,8 @@
*/
/* PHP 7.2 Release */
-$PHP_7_2_RC = false; // Current RC version (e.g., '7.2.1RC1') or false
-$PHP_7_2_RC_DATE = "14 Dec 2017";
+$PHP_7_2_RC = "7.1.14RC1"; // Current RC version (e.g., '7.2.1RC1') or false
+$PHP_7_2_RC_DATE = "18 Jan 2018";
$PHP_7_2_VERSION = "7.2.1";
$PHP_7_2_DATE = "4 Jan 2018";