Update to 5.4.2-dev

After PHP-5.4.1 was branched, the PHP-5.4 branch should have been 5.4.2-dev.

diff --git a/main/php_version.h b/main/php_version.h
index b4c616ff5421e1efbac49d62d3b8c6db98533603..13478d1756596b99054528c8765b41d3a9640bed 100644 (file)
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -2,7 +2,7 @@
 /* edit configure.in to change version number */
 #define PHP_MAJOR_VERSION 5
 #define PHP_MINOR_VERSION 4
-#define PHP_RELEASE_VERSION 1
-#define PHP_EXTRA_VERSION "RC1-dev"
-#define PHP_VERSION "5.4.1RC1-dev"
-#define PHP_VERSION_ID 50401
+#define PHP_RELEASE_VERSION 2
+#define PHP_EXTRA_VERSION "-dev"
+#define PHP_VERSION "5.4.2-dev"
+#define PHP_VERSION_ID 50402