HEAD has been 4.0.8-dev for some time now, so name it accordingly.

diff --git a/configure.in b/configure.in
index aee8243cd827af73d339929508d7285e4bbf5169..dc1d04589651cfa5382a8946b75f52c5b9f43427 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -51,7 +51,7 @@ dnl ## All of these are normally in the extension directories.
 dnl ## Diversion 5 is the last one.  Here we generate files and clean up.
 
 dnl ## This is where the version number is changed from now on!
-AM_INIT_AUTOMAKE(php, 4.0.7-dev, nodefine)
+AM_INIT_AUTOMAKE(php, 4.0.8-dev, nodefine)
 
 PHP_VERSION=$VERSION
 echo "/* automatically generated by configure */" > php_version.h.new

diff --git a/main/php_version.h b/main/php_version.h
index cd8c544248717ff42fb6bab8eb7b56373893a5e3..5f022e45887367e0bef8296ba679a5f1538524f0 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.7-dev"
+#define PHP_VERSION "4.0.8-dev"