Now working on 7.2.4-dev

diff --git a/main/php_version.h b/main/php_version.h
index 4e8d8442c67721fc7170feb0f5ac367d471c3eaf..620e811f39bcb3341cf9fbab0ef093f00fcb16ce 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 2
-#define PHP_RELEASE_VERSION 3
+#define PHP_RELEASE_VERSION 4
 #define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.2.3-dev"
-#define PHP_VERSION_ID 70203
+#define PHP_VERSION "7.2.4-dev"
+#define PHP_VERSION_ID 70204