Now working on 7.2.4-dev

php · Feb 13, 2018 · 5dd2a41 · 5dd2a41
1 parent 2235da5
commit 5dd2a41
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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