Bump version.

diff --git a/main/php_version.h b/main/php_version.h
index 5f022e45887367e0bef8296ba679a5f1538524f0..22dc6f2edf88902ad1994d9b6595447905530f8c 100644 (file)
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -1,3 +1,3 @@
 /* automatically generated by configure */
 /* edit configure.in to change version number */
-#define PHP_VERSION "4.0.8-dev"
+#define PHP_VERSION "4.2.0-dev"