From 672bee2d230080d13cd4a2094047097a42102f33 Mon Sep 17 00:00:00 2001 From: "Eloy Lafuente (stronk7)" Date: Tue, 18 Jun 2013 01:14:40 +0200 Subject: [PATCH] MDL-40103 Bump version & whitespace/punctuation --- lib/db/upgrade.php | 4 ++-- version.php | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) 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