Update version

That appears to have been forgotten for a while.

diff --git a/main/php_version.h b/main/php_version.h
index 9395c77782cb16b6da30d86115058d5ab3235e59..8f2d13b845f0cb2ce374fae11718aaac03e41431 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 4
-#define PHP_RELEASE_VERSION 13
+#define PHP_RELEASE_VERSION 16
 #define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.4.13-dev"
-#define PHP_VERSION_ID 70413
+#define PHP_VERSION "7.4.16-dev"
+#define PHP_VERSION_ID 70416