upgrade_main_savepoint($result, 2008081900);
}
- if ($result && $oldversion < 2008082600) {
+ if ($result && $oldversion < 2008082602) {
/// Define table repository to be dropped
$table = new xmldb_table('repository');
}
/// Main savepoint reached
- upgrade_main_savepoint($result, 2008082600);
+ upgrade_main_savepoint($result, 2008082602);
}
// This is compared against the values stored in the database to determine
// whether upgrades should be performed (see lib/db/*.php)
- $version = 2008082601; // YYYYMMDD = date of the last version bump
+ $version = 2008082602; // YYYYMMDD = date of the last version bump
// XX = daily increments
$release = '2.0 dev (Build: 20080826)'; // Human-friendly version name