bump versions in master

diff --git a/configure.in b/configure.in
index 4e0d7a68e032c55ac06b70d946033d1bdd4d6df3..0d62c488b1e24e8b609bf9281cdb8c406e9b37d9 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -118,7 +118,7 @@ int zend_sprintf(char *buffer, const char *format, ...);
 ])
 
 PHP_MAJOR_VERSION=7
-PHP_MINOR_VERSION=0
+PHP_MINOR_VERSION=1
 PHP_RELEASE_VERSION=0
 PHP_EXTRA_VERSION="-dev"
 PHP_VERSION="$PHP_MAJOR_VERSION.$PHP_MINOR_VERSION.$PHP_RELEASE_VERSION$PHP_EXTRA_VERSION"

diff --git a/main/php_version.h b/main/php_version.h
index d48ab241411eb5358927ef8de358f3dcae593689..4714e5dc4b1029b09da196ad4ed52d988e3ca389 100644 (file)
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -1,8 +1,8 @@
 /* automatically generated by configure */
 /* edit configure.in to change version number */
 #define PHP_MAJOR_VERSION 7
-#define PHP_MINOR_VERSION 0
+#define PHP_MINOR_VERSION 1
 #define PHP_RELEASE_VERSION 0
 #define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.0.0-dev"
-#define PHP_VERSION_ID 70000
+#define PHP_VERSION "7.1.0-dev"
+#define PHP_VERSION_ID 70100