diff --git a/include/version.inc b/include/version.inc index cdfe12ea3..a2709584e 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 = "31 Jan 2019"; +$PHP_7_2_RC = '7.2.16RC1'; // Current RC version (e.g., '7.2.1RC1') or false +$PHP_7_2_RC_DATE = "21 Feb 2019"; $PHP_7_2_VERSION = "7.2.15"; $PHP_7_2_DATE = "07 Feb 2019";