Fix version numbers in main branch

This should have already happened, when `PHP-7.3.0` was branched.

diff --git a/Zend/zend.h b/Zend/zend.h
index 8f2621c710647465d69a6ecc124b3666847f4114..8c4251fd127f98050973f69f94e637593c2839cd 100644 (file)
--- a/Zend/zend.h
+++ b/Zend/zend.h
@@ -20,7 +20,7 @@
 #ifndef ZEND_H
 #define ZEND_H
 
-#define ZEND_VERSION "3.3.0-dev"
+#define ZEND_VERSION "3.3.1-dev"
 
 #define ZEND_ENGINE_3
 

diff --git a/main/php_version.h b/main/php_version.h
index e81c51524990bdd7815958e3614b2cc7bd27493b..f3afbd8a3327f73329f2deab30e3e2b13a6aae71 100644 (file)
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -2,7 +2,7 @@
 /* edit configure.ac to change version number */
 #define PHP_MAJOR_VERSION 7
 #define PHP_MINOR_VERSION 3
-#define PHP_RELEASE_VERSION 0
+#define PHP_RELEASE_VERSION 1
 #define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.3.0-dev"
-#define PHP_VERSION_ID 70300
+#define PHP_VERSION "7.3.1-dev"
+#define PHP_VERSION_ID 70301