]> granicus.if.org Git - php/commitdiff
adjust versions in confutils
authorAnatol Belski <ab@php.net>
Thu, 17 Sep 2015 11:31:27 +0000 (13:31 +0200)
committerAnatol Belski <ab@php.net>
Thu, 17 Sep 2015 11:31:27 +0000 (13:31 +0200)
win32/build/confutils.js

index 355327156dee8e6781e08d026c3d611303b9a0de..c2852cfd43d42c7531e08be5a89fc4a7ffa16d02 100644 (file)
@@ -100,10 +100,10 @@ if (typeof(CWD) == "undefined") {
 
 /* defaults; we pick up the precise versions from configure.in */
 var PHP_VERSION = 7;
-var PHP_MINOR_VERSION = 0;
+var PHP_MINOR_VERSION = 1;
 var PHP_RELEASE_VERSION = 0;
 var PHP_EXTRA_VERSION = "";
-var PHP_VERSION_STRING = "7.0.0";
+var PHP_VERSION_STRING = "7.1.0";
 
 /* Get version numbers and DEFINE as a string */
 function get_version_numbers()