Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Sync for upcoming vc++ 15.6 version raise

diff --cc win32/build/confutils.js
index 59991797bc5c60bba7cb46b55f743a90e56f0684,a75546c86ce23011a4dff254e77b3fa52f5cc154..1c463877cb84a23acb412209958419e576d95727
--- 1/win32/build/confutils.js
--- 2/win32/build/confutils.js
+++ b/win32/build/confutils.js
@@@ -72,8 -72,15 +72,9 @@@ VC_VERSIONS[1900] = 'MSVC14 (Visual C+
  VC_VERSIONS[1910] = 'MSVC15 (Visual C++ 2017)';
  VC_VERSIONS[1911] = 'MSVC15 (Visual C++ 2017)';
  VC_VERSIONS[1912] = 'MSVC15 (Visual C++ 2017)';
+ VC_VERSIONS[1913] = 'MSVC15 (Visual C++ 2017)';
  
  var VC_VERSIONS_SHORT = new Array();
 -VC_VERSIONS_SHORT[1200] = 'VC6';
 -VC_VERSIONS_SHORT[1300] = 'VC7';
 -VC_VERSIONS_SHORT[1310] = 'VC7.1';
 -VC_VERSIONS_SHORT[1400] = 'VC8';
 -VC_VERSIONS_SHORT[1500] = 'VC9';
 -VC_VERSIONS_SHORT[1600] = 'VC10';
  VC_VERSIONS_SHORT[1700] = 'VC11';
  VC_VERSIONS_SHORT[1800] = 'VC12';
  VC_VERSIONS_SHORT[1900] = 'VC14';