diff --git a/lib/db/install.xml b/lib/db/install.xml
index e1fa2676214..e4386e6ff2b 100644
--- a/lib/db/install.xml
+++ b/lib/db/install.xml
@@ -1371,8 +1371,9 @@
-
-
+
+
+
diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 9edd1d77df7..cb3aefb4097 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -1129,7 +1129,8 @@ function xmldb_main_upgrade($oldversion=0) {
$table->addIndexInfo('locktime', XMLDB_INDEX_NOTUNIQUE, array('locktime'));
$table->addIndexInfo('locked', XMLDB_INDEX_NOTUNIQUE, array('locked'));
$table->addIndexInfo('itemtype', XMLDB_INDEX_NOTUNIQUE, array('itemtype'));
- $table->addIndexInfo('needsupdate', XMLDB_INDEX_NOTUNIQUE, array('needsupdate'));
+ $table->addIndexInfo('itemtype-needsupdate', XMLDB_INDEX_NOTUNIQUE, array('itemtype', 'needsupdate'));
+ $table->addIndexInfo('gradetype', XMLDB_INDEX_NOTUNIQUE, array('gradetype'));
/// Launch create table for grade_items
$result = $result && create_table($table);
@@ -1662,7 +1663,7 @@ function xmldb_main_upgrade($oldversion=0) {
$result = $result && add_field($table, $field);
}
- if ($result && $oldversion < 2007080901) {
+ if ($result && $oldversion < 2007080902) {
/// Define index
$table = new XMLDBTable('grade_grades');
$index = new XMLDBIndex('locktime');
@@ -1713,17 +1714,25 @@ function xmldb_main_upgrade($oldversion=0) {
$result = $result && add_index($table, $index);
}
+ /// Define index itemtype-needsupdate (not unique) to be added to grade_items
+ $table = new XMLDBTable('grade_items');
+ $index = new XMLDBIndex('itemtype-needsupdate');
+ $index->setAttributes(XMLDB_INDEX_NOTUNIQUE, array('itemtype', 'needsupdate'));
+ if (!index_exists($table, $index)) {
+ /// Launch add index itemtype-needsupdate
+ $result = $result && add_index($table, $index);
+ }
+
/// Define index
$table = new XMLDBTable('grade_items');
- $index = new XMLDBIndex('needsupdate');
- $index->setAttributes(XMLDB_INDEX_NOTUNIQUE, array('needsupdate'));
+ $index = new XMLDBIndex('gradetype');
+ $index->setAttributes(XMLDB_INDEX_NOTUNIQUE, array('gradetype'));
if (!index_exists($table, $index)) {
/// Launch add index
$result = $result && add_index($table, $index);
}
-
}
/*
diff --git a/version.php b/version.php
index bb7b31198b1..deba7a5c38d 100644
--- a/version.php
+++ b/version.php
@@ -6,7 +6,7 @@
// This is compared against the values stored in the database to determine
// whether upgrades should be performed (see lib/db/*.php)
- $version = 2007080901; // YYYYMMDD = date
+ $version = 2007080902; // YYYYMMDD = date
// XY = increments within a single day
$release = '1.9 dev'; // Human-friendly version name