Updating the version for the development phase

diff --git a/version.php b/version.php
index d5dd845a31b08a33e6c8e7d94f7a8251547d9dc2..96896df755d86a011785f09de79eb9b8b384fe50 100644 (file)
--- a/version.php
+++ b/version.php
@@ -5,7 +5,7 @@
 // database to determine whether upgrades should
 // be performed (see lib/db/*.php)
 
-$version = 2002121000;   // The current version is a date (YYYYMMDDXX)
+$version = 2002121200;   // The current version is a date (YYYYMMDDXX)
 
-$release = "1.0.7";  // User-friendly version number
+$release = "1.0.8 dev";  // User-friendly version number