upgrade_main_savepoint(true, 2017082800.00);
}
+ if ($oldversion < 2017090700.01) {
+
+ // Force all messages to be reindexed.
+ set_config('core_message_message_sent_lastindexrun', '0', 'core_search');
+ set_config('core_message_message_received_lastindexrun', '0', 'core_search');
+
+ // Main savepoint reached.
+ upgrade_main_savepoint(true, 2017090700.01);
+ }
+
return true;
}
defined('MOODLE_INTERNAL') || die();
-$version = 2017090700.00; // YYYYMMDD = weekly release date of this DEV branch.
+$version = 2017090700.01; // YYYYMMDD = weekly release date of this DEV branch.
// RR = release increments - 00 in DEV branches.
// .XX = incremental changes.