diff options
author | Christoph M. Becker <cmbecker69@gmx.de> | 2018-12-10 00:16:23 +0100 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2018-12-10 00:16:23 +0100 |
commit | b0177d3892f870ac7bf983f3332fc6a1f2ef78a2 (patch) | |
tree | bbc7246ef60ebe436f7eb071d83177b1397e6317 | |
parent | 6734b1106f08f949aee3435fe4d1527393c1d23d (diff) | |
download | php-git-b0177d3892f870ac7bf983f3332fc6a1f2ef78a2.tar.gz |
Fix version numbers in main branch
This should have already happened, when `PHP-7.3.0` was branched.
-rw-r--r-- | Zend/zend.h | 2 | ||||
-rw-r--r-- | main/php_version.h | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/Zend/zend.h b/Zend/zend.h index 8f2621c710..8c4251fd12 100644 --- 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 e81c515249..f3afbd8a33 100644 --- 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 |