com web/php: Update for PHP 7.2.15RC1: include/version.inc
| From: | Christoph Michael Becker | Date: | Thu, 31 Jan 2019 18:17:37 +0000 |
| Subject: | com web/php: Update for PHP 7.2.15RC1: include/version.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27741@lists.php.net to get a copy of this message | ||
Commit: 216b1145f6cc0d7ce89d6c3d10114e55e1f4b988
Author: Christoph M. Becker <cmbecker69@gmx.de> Thu, 31 Jan 2019 19:17:37 +0100
Parents: b8b8f3dfa04efa4b253498dcf9cfa5c24d2ad6e4
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=216b1145f6cc0d7ce89d6c3d10114e55e1f4b988
Log:
Update for PHP 7.2.15RC1
Changed paths:
M include/version.inc
Diff:
diff --git a/include/version.inc b/include/version.inc
index 99b0815..9dbe373 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -28,8 +28,8 @@ $PHP_7_3_SHA256 = array(
);
/* PHP 7.2 Release */
-$PHP_7_2_RC = false; // Current RC version (e.g., '7.2.1RC1') or false
-$PHP_7_2_RC_DATE = "20 Dec 2018";
+$PHP_7_2_RC = '7.2.15RC1'; // Current RC version (e.g., '7.2.1RC1') or false
+$PHP_7_2_RC_DATE = "31 Jan 2019";
$PHP_7_2_VERSION = "7.2.14";
$PHP_7_2_DATE = "10 Jan 2019";