diff --git a/lib/db/install.xml b/lib/db/install.xml
index e95b9c7dd70..f363bf11bf4 100644
--- a/lib/db/install.xml
+++ b/lib/db/install.xml
@@ -768,9 +768,9 @@
-
+
-
+
diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 158bd408f66..c166459be50 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -667,6 +667,30 @@ function xmldb_main_upgrade($oldversion=0) {
$result = $result && create_table($table);
}
+
+ /// code to change lenghen tag field to 255, MDL-9095
+ if ($result && $oldversion < 2007040400) {
+
+ /// Define index text (not unique) to be dropped form tags
+ $table = new XMLDBTable('tags');
+ $index = new XMLDBIndex('text');
+ $index->setAttributes(XMLDB_INDEX_NOTUNIQUE, array('text'));
+
+ /// Launch drop index text
+ $result = $result && drop_index($table, $index);
+
+ $field = new XMLDBField('text');
+ $field->setAttributes(XMLDB_TYPE_CHAR, '255', null, XMLDB_NOTNULL, null, null, null, null, 'userid');
+
+ /// Launch change of type for field text
+ $result = $result && change_field_type($table, $field);
+
+ $index = new XMLDBIndex('text');
+ $index->setAttributes(XMLDB_INDEX_NOTUNIQUE, array('text'));
+
+ /// Launch add index text
+ $result = $result && add_index($table, $index);
+ }
return $result;
}
diff --git a/version.php b/version.php
index 8e5fbb626b7..28e6e7f4667 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 = 2007040200; // YYYYMMDD = date
+ $version = 2007040400; // YYYYMMDD = date
// XY = increments within a single day
$release = '1.9 dev'; // Human-friendly version name