diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php index b1165c68177..3e02f44af40 100644 --- a/lib/db/upgrade.php +++ b/lib/db/upgrade.php @@ -6762,7 +6762,7 @@ FROM upgrade_main_savepoint(true, 2011070104.12); } - if ($oldversion < 2011070105.07) { + if ($oldversion < 2011070105.08) { require_once($CFG->libdir . '/completion/completion_criteria.php'); // Delete orphaned criteria which were left when modules were removed if ($DB->get_dbfamily() === 'mysql') { @@ -6779,8 +6779,8 @@ FROM $DB->execute($sql); // Main savepoint reached - upgrade_main_savepoint(true, 2011070105.07); + upgrade_main_savepoint(true, 2011070105.08); } return true; -} \ No newline at end of file +} diff --git a/version.php b/version.php index ee247377176..f72598e2364 100644 --- a/version.php +++ b/version.php @@ -30,7 +30,7 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2011070105.07; // 20110701 = branching date YYYYMMDD - do not modify! +$version = 2011070105.08; // 20110701 = branching date YYYYMMDD - do not modify! // RR = release increments - 00 in DEV branches // .XX = incremental changes