keeping version number in sync

diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 587bad6310c15e8bd7a88e3c556753dfba171ea0..52b4ca76836fecbb10ec99005e05b48c2c820afb 100644 (file)
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -2599,7 +2599,7 @@ function xmldb_main_upgrade($oldversion=0) {
         upgrade_main_savepoint($result, 2007101502);
     }    
 
-    if ($result && $oldversion < 2007110800) {
+    if ($result && $oldversion < 2007101503) {
         // Update courses that used weekscss to weeks
         $result = $result && set_field('course', 'format', 'weeks', 'format', 'weekscss');
     }

diff --git a/version.php b/version.php
index a0a12e03d553879314889c92468f969a6892981a..9d234f5631a7da1bd583a22932ec1fff30236425 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 = 2007110800;  // YYYYMMDD = date
+    $version = 2007101503;  // YYYYMMDD = date
                             //       XY = increments within a single day
 
     $release = '2.0 dev';   // Human-friendly version name