diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php index 922534a1c92d6..c60fa9a04f517 100644 --- a/lib/db/upgrade.php +++ b/lib/db/upgrade.php @@ -1240,14 +1240,15 @@ function xmldb_main_upgrade($oldversion) { upgrade_main_savepoint(true, 2024080500.00); } - if ($oldversion < 2024082300.00) { + if ($oldversion < 2024082900.01) { // If filter_tidy is no longer present, remove it. if (!file_exists($CFG->dirroot . '/filter/tidy/version.php')) { // Clean config. unset_all_config_for_plugin('filter_tidy'); + uninstall_plugin('filter', 'tidy'); } - upgrade_main_savepoint(true, 2024082300.00); + upgrade_main_savepoint(true, 2024082900.01); } return true; diff --git a/version.php b/version.php index 9c33ae2a4bed8..37ce20c4e1e12 100644 --- a/version.php +++ b/version.php @@ -29,7 +29,7 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2024082900.00; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2024082900.01; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. $release = '4.5dev+ (Build: 20240829)'; // Human-friendly version name