increase versions for 7.2

This commit is contained in:
Anatol Belski 2016-08-02 11:00:54 +02:00
parent 5047a119b0
commit 845f66ba64
5 changed files with 6 additions and 6 deletions

View file

@ -103,7 +103,7 @@ var PHP_VERSION = 7;
var PHP_MINOR_VERSION = 1;
var PHP_RELEASE_VERSION = 0;
var PHP_EXTRA_VERSION = "";
var PHP_VERSION_STRING = "7.1.0";
var PHP_VERSION_STRING = "7.2.0";
/* Get version numbers and DEFINE as a string */
function get_version_numbers()