Next is 8.0.2

diff --git a/NEWS b/NEWS
index 247656ac5eeed2885de72d01c1012ae06191853d..e1dc7aefcc81ec88246a531d48887010f286479e 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,9 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-?? ??? ????, PHP 8.0.1RC1
+?? ??? ????, PHP 8.0.2RC1
+
+
+07 Jan 2021, PHP 8.0.1
 
 - Core:
   . Fixed bug #80345 (PHPIZE configuration has outdated PHP_RELEASE_VERSION).

diff --git a/Zend/zend.h b/Zend/zend.h
index 66eab35f9f133288df7a3ec7d10cc4d4481327d4..471eeb3e0f13cd9ace4959a32648ce5971a633e5 100644 (file)
--- a/Zend/zend.h
+++ b/Zend/zend.h
@@ -20,7 +20,7 @@
 #ifndef ZEND_H
 #define ZEND_H
 
-#define ZEND_VERSION "4.0.0"
+#define ZEND_VERSION "4.0.2-dev"
 
 #define ZEND_ENGINE_3
 

diff --git a/main/php_version.h b/main/php_version.h
index 7da21cab4a22ae82fc629d6ec8ead9c552ac9663..bb2c9278749863d976a87660835fb3f102a2bd19 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 8
 #define PHP_MINOR_VERSION 0
-#define PHP_RELEASE_VERSION 1
+#define PHP_RELEASE_VERSION 2
 #define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "8.0.1-dev"
-#define PHP_VERSION_ID 80001
+#define PHP_VERSION "8.0.2-dev"
+#define PHP_VERSION_ID 80002