increase versions for 7.2

diff --git a/Zend/zend_extensions.h b/Zend/zend_extensions.h
index 862c18ad750e944080aea3b49f5c406d2803478d..c69c641fd5ddd881b1a19b17e04c1f58f0abd066 100644 (file)
--- a/Zend/zend_extensions.h
+++ b/Zend/zend_extensions.h
@@ -46,7 +46,7 @@ You can use the following macro to check the extension API version for compatibi
 
 /* The first number is the engine version and the rest is the date (YYYYMMDD).
  * This way engine 2/3 API no. is always greater than engine 1 API no..  */
-#define ZEND_EXTENSION_API_NO  320160303
+#define ZEND_EXTENSION_API_NO  320160731
 
 typedef struct _zend_extension_version_info {
        int zend_extension_api_no;

diff --git a/configure.in b/configure.in
index a35f413dad12d974bb4dcd200e63ccee1f18edc4..65ff430ab97bf4468fb7373b9557b343212fb7c9 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=1
+PHP_MINOR_VERSION=2
 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.h b/main/php.h
index 8cc785101626106c8528ff45fd114631c7247c79..32ab59386fbaf2b6142672b5c0ad060e38f256a1 100644 (file)
--- a/main/php.h
+++ b/main/php.h
@@ -26,7 +26,7 @@
 #include <dmalloc.h>
 #endif
 
-#define PHP_API_VERSION 20151012
+#define PHP_API_VERSION 20160731
 #define PHP_HAVE_STREAMS
 #define YYDEBUG 0
 #define PHP_DEFAULT_CHARSET "UTF-8"

diff --git a/main/php_version.h b/main/php_version.h
index 4714e5dc4b1029b09da196ad4ed52d988e3ca389..ec508e8c24b05ed69f0658cf4c0fd32ec345936e 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 1
+#define PHP_MINOR_VERSION 2
 #define PHP_RELEASE_VERSION 0
 #define PHP_EXTRA_VERSION "-dev"
 #define PHP_VERSION "7.1.0-dev"
-#define PHP_VERSION_ID 70100
+#define PHP_VERSION_ID 70200

diff --git a/win32/build/confutils.js b/win32/build/confutils.js
index 038692911c749de5649f68a9e3a670bf29b8cb07..e823a1d17da25be935277897496a0b4c55142c81 100644 (file)
--- a/win32/build/confutils.js
+++ b/win32/build/confutils.js
@@ -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()