diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php index 104402abcd9..c6bafe0f1af 100644 --- a/lib/db/upgrade.php +++ b/lib/db/upgrade.php @@ -2174,14 +2174,14 @@ function xmldb_main_upgrade($oldversion) { if ($oldversion < 2013061700.00) { // MDL-40103: Remove unused template tables from the database. - // These are now created inline with xmldb_table + // These are now created inline with xmldb_table. $tablestocleanup = array('temp_enroled_template','temp_log_template','backup_files_template','backup_ids_template'); $dbman = $DB->get_manager(); foreach ($tablestocleanup as $table) { $xmltable = new xmldb_table($table); - if ($dbman->table_exists($xmltable)) { + if ($dbman->table_exists($xmltable)) { $dbman->drop_table($xmltable); } } diff --git a/version.php b/version.php index 4d7a76b9c5b..d24963bb6ab 100644 --- a/version.php +++ b/version.php @@ -29,7 +29,7 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2013061400.01; // YYYYMMDD = weekly release date of this DEV branch +$version = 2013061700.00; // YYYYMMDD = weekly release date of this DEV branch // RR = release increments - 00 in DEV branches // .XX = incremental changes