From 9b62ebb87f43a777021557f959bf55f660c85310 Mon Sep 17 00:00:00 2001
From: stronk7 <stronk7>
Date: Sun, 14 Oct 2007 09:52:16 +0000
Subject: [PATCH] Drop one index that shouldn't be there. MDL-11751

---
 lib/db/upgrade.php | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index aa13fc53c0..ff56d7b049 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -722,11 +722,6 @@ function xmldb_main_upgrade($oldversion=0) {
     /// Launch add field idnumber
         $result = $result && add_field($table, $field);
 
-    /// Define index idnumber (unique) to be added to course_modules
-        $table = new XMLDBTable('course_modules');
-        $index = new XMLDBIndex('idnumber');
-        $index->setAttributes(XMLDB_INDEX_UNIQUE, array('idnumber'));
-
     /// Launch add index idnumber
         $result = $result && add_index($table, $index);
 
-- 
2.39.5