Bumping the version for new admin settings.

diff --git a/version.php b/version.php
index f7d5fbe22050986a0314e15a415cd5a8923886e4..db90d3afc231df27dc64df693009fa0535156998 100644 (file)
--- a/version.php
+++ b/version.php
@@ -6,7 +6,7 @@
 // This is compared against the values stored in the database to determine
 // whether upgrades should be performed (see lib/db/*.php)
 
-   $version = 2007070300;  // YYYYMMDD = date
+   $version = 2007070500;  // YYYYMMDD = date
                            //       XY = increments within a single day
 
    $release = '1.9 dev';    // Human-friendly version name