Merge branch 'PHP-7.2'

* PHP-7.2:
  Correct default value

Author: weltling

win32/build/confutils.js

@@ -104,7 +104,7 @@ if (typeof(CWD) == "undefined") {
 
 /* defaults; we pick up the precise versions from configure.ac */
 var PHP_VERSION = 7;
-var PHP_MINOR_VERSION = 1;
+var PHP_MINOR_VERSION = 2;
 var PHP_RELEASE_VERSION = 0;
 var PHP_EXTRA_VERSION = "";
 var PHP_VERSION_STRING = "7.2.0";