diff --git a/lib/db/install.xml b/lib/db/install.xml index c1a4efb96075cbb9fad5586459d9cdd7a7624c72..821cf37726b25b028f57075ec9e62cd0cc97dd00 100644 --- a/lib/db/install.xml +++ b/lib/db/install.xml @@ -1,5 +1,5 @@ - @@ -449,12 +449,14 @@ + + @@ -3760,4 +3762,4 @@ - + \ No newline at end of file diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php index c346a9ab316d2d431b270269c7b8d4128c8442b5..31019f526b74832b9d1a8a5170a6f6094e8913e0 100644 --- a/lib/db/upgrade.php +++ b/lib/db/upgrade.php @@ -1837,5 +1837,27 @@ function xmldb_main_upgrade($oldversion) { upgrade_main_savepoint(true, 2017111300.02); } + if ($oldversion < 2017121200.00) { + + // Define key subscriptionid (foreign) to be added to event. + $table = new xmldb_table('event'); + $key = new xmldb_key('subscriptionid', XMLDB_KEY_FOREIGN, array('subscriptionid'), 'event_subscriptions', array('id')); + + // Launch add key subscriptionid. + $dbman->add_key($table, $key); + + // Define index uuid (not unique) to be added to event. + $table = new xmldb_table('event'); + $index = new xmldb_index('uuid', XMLDB_INDEX_NOTUNIQUE, array('uuid')); + + // Conditionally launch add index uuid. + if (!$dbman->index_exists($table, $index)) { + $dbman->add_index($table, $index); + } + + // Main savepoint reached. + upgrade_main_savepoint(true, 2017121200.00); + } + return true; } diff --git a/version.php b/version.php index d75328cb42d886b011ebf042301cf13f132bde05..52dfcbd010289106e97ba67fa73401ab8515e159 100644 --- a/version.php +++ b/version.php @@ -29,7 +29,7 @@ defined('MOODLE_INTERNAL') || die(); -$version = 2017120800.00; // YYYYMMDD = weekly release date of this DEV branch. +$version = 2017121200.00; // YYYYMMDD = weekly release date of this DEV branch. // RR = release increments - 00 in DEV branches. // .XX = incremental changes.