grader report MDL-19704 Fixed a problem with my version/upgrade changes

diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index c7b5ecd1c63080953a62d47120d00e29ff81129b..b0d52de5256d896d1e59c219b4fc395e306c27aa 100644 (file)
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -2857,7 +2857,7 @@ WHERE gradeitemid IS NOT NULL AND grademax IS NOT NULL");
         upgrade_main_savepoint($result, 2010010601);
     }
 
-    if ($result && $oldversion < 2010010612) {
+    if ($result && $oldversion < 2010011200) {
         $table = new xmldb_table('grade_categories');
         $field = new xmldb_field('hidden', XMLDB_TYPE_INTEGER, '10', XMLDB_UNSIGNED, XMLDB_NOTNULL, null, 0);
 
@@ -2865,7 +2865,7 @@ WHERE gradeitemid IS NOT NULL AND grademax IS NOT NULL");
             $dbman->add_field($table, $field);
         }
 
-        upgrade_main_savepoint($result, 2010010612);
+        upgrade_main_savepoint($result, 2010011200);
     }
 
     return $result;

diff --git a/version.php b/version.php
index d2ddd869d4bcbbcd4ba29d7be808a8835c1432d9..5b751a8d60cda20e9c96076a8fcdf7ac3218be99 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 = 2010010601.01;  // YYYYMMDD   = date of the last version bump
+    $version = 2010011200;  // YYYYMMDD   = date of the last version bump
                             //         XX = daily increments
 
     $release = '2.0 dev (Build: 20100112)';  // Human-friendly version name