1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

7.2.10 RC1

This commit is contained in:
Remi Collet
2018-08-30 12:35:19 +02:00
parent e33abc2cc7
commit 70cfd4c2cb

View File

@@ -20,8 +20,8 @@ $PHP_7_3_RC = '7.3.0beta2';
$PHP_7_3_RC_DATE = "16 Aug 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 = "02 Aug 2018";
$PHP_7_2_RC = '7.2.10RC1'; // Current RC version (e.g., '7.2.1RC1') or false
$PHP_7_2_RC_DATE = "30 Aug 2018";
$PHP_7_2_VERSION = "7.2.9";
$PHP_7_2_DATE = "16 Aug 2018";