com web/php: 7.2 is latest: include/version.inc

Commit: 6105808df062c793f29c05363c4ced62f6ef4c21 Author: Remi Collet <remi@php.net> Thu, 30 Nov 2017 14:11:39 +0100 Parents: cd93a176cc4df7e9fb50fa09acbe8bdbf3e9a376 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=6105808df062c793f29c05363c4ced62f6ef4c21 Log: 7.2 is latest Changed paths: M include/version.inc Diff: diff --git a/include/version.inc b/include/version.inc index ba435a6..8ba3973 100644 --- a/include/version.inc +++ b/include/version.inc @@ -202,7 +202,7 @@ $PHP_5_VERSION = $PHP_5_6_VERSION; // Some scripts require this set $PHP_5_DATE = $PHP_5_6_DATE; // Used by buumpRelease script $PHP_5_RC_DATE = $PHP_5_6_RC_DATE; // Used by master -$PHP_7_VERSION = $PHP_7_1_VERSION; // Some scripts require this set -$PHP_7_DATE = $PHP_7_1_DATE; // Used by buumpRelease script -$PHP_7_RC_DATE = $PHP_7_1_RC_DATE; // Used by master +$PHP_7_VERSION = $PHP_7_2_VERSION; // Some scripts require this set +$PHP_7_DATE = $PHP_7_2_DATE; // Used by buumpRelease script +$PHP_7_RC_DATE = $PHP_7_2_RC_DATE; // Used by master