Update php_version.h

diff --git a/main/php_version.h b/main/php_version.h
index ec508e8c24b05ed69f0658cf4c0fd32ec345936e..405e54a710b9c5c8a4af4f3d8e4c27e40bb5c483 100644 (file)
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -4,5 +4,5 @@
 #define PHP_MINOR_VERSION 2
 #define PHP_RELEASE_VERSION 0
 #define PHP_EXTRA_VERSION "-dev"
-#define PHP_VERSION "7.1.0-dev"
+#define PHP_VERSION "7.2.0-dev"
 #define PHP_VERSION_ID 70200