From 72324523ad2d500f2b568acc525aadb59860dc47 Mon Sep 17 00:00:00 2001 From: Adrian Greeve Date: Fri, 10 Apr 2015 17:29:48 +0800 Subject: [PATCH] MDL-45774 navigation: Version bump and upgrade.php edit. --- lib/db/upgrade.php | 12 ++++++------ version.php | 2 +- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php index f69d7084f92..282c09237cc 100644 --- a/lib/db/upgrade.php +++ b/lib/db/upgrade.php @@ -4304,7 +4304,7 @@ function xmldb_main_upgrade($oldversion) { upgrade_main_savepoint(true, 2015040700.01); } - if ($oldversion < 2015040800.01) { + if ($oldversion < 2015040900.01) { // Add "My grades" to the user menu. $oldconfig = get_config('core', 'customusermenuitems'); if (strpos("mygrades,grades|/grade/report/mygrades.php|grades", $oldconfig) === false) { @@ -4312,10 +4312,10 @@ function xmldb_main_upgrade($oldversion) { set_config('customusermenuitems', $newconfig); } - upgrade_main_savepoint(true, 2015040800.01); + upgrade_main_savepoint(true, 2015040900.01); } - if ($oldversion < 2015040800.02) { + if ($oldversion < 2015040900.02) { // Update the default user menu (add preferences, remove my files and my badges). $oldconfig = get_config('core', 'customusermenuitems'); @@ -4334,17 +4334,17 @@ function xmldb_main_upgrade($oldversion) { $newconfig = preg_replace('/(\r\n)+/', "\n", $newconfig); set_config('customusermenuitems', $newconfig); - upgrade_main_savepoint(true, 2015040800.02); + upgrade_main_savepoint(true, 2015040900.02); } - if ($oldversion < 2015040800.03) { + if ($oldversion < 2015040900.03) { // Change the setting to the new default. $oldconfig = get_config('core', 'defaulthomepage'); if ($oldconfig == HOMEPAGE_SITE) { set_config('defaulthomepage', HOMEPAGE_MY); } - upgrade_main_savepoint(true, 2015040800.03); + upgrade_main_savepoint(true, 2015040900.03); } diff --git a/version.php b/version.php index 66b2ad15cf2..0bb33ab999d 100644 --- a/version.php +++ b/version.php @@ -29,7 +29,7 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2015040900.00; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2015040900.03; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes. -- 2.17.1