upgrade_main_savepoint($result, 2009050619);
}
+ if ($result && $oldversion < 2009051200) {
+ /// Let's check the status of mandatory mnet_host records, fixing them
+ /// and moving "orphan" users to default localhost record. MDL-16879
+ notify('Fixing mnet records, this may take a while...', 'notifysuccess');
+ upgrade_fix_incorrect_mnethostids();
+
+ /// Main savepoint reached
+ upgrade_main_savepoint($result, 2009051200);
+ }
+
return $result;
}
// This is compared against the values stored in the database to determine
// whether upgrades should be performed (see lib/db/*.php)
- $version = 2009050619; // YYYYMMDD = date of the last version bump
+ $version = 2009051200; // YYYYMMDD = date of the last version bump
// XX = daily increments
$release = '2.0 dev (Build: 20090511)'; // Human-friendly version name