diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php index c20b98da975..5367c1a2980 100644 --- a/lib/db/upgrade.php +++ b/lib/db/upgrade.php @@ -2294,7 +2294,7 @@ function xmldb_main_upgrade($oldversion) { if (!$dbman->field_exists($table, $field)) { $dbman->add_field($table, $field); } - + // Main savepoint reached. upgrade_main_savepoint(true, 2016101401.02); }