diff --git a/lib/db/install.xml b/lib/db/install.xml
index 657814d1361..81c5a9177c0 100644
--- a/lib/db/install.xml
+++ b/lib/db/install.xml
@@ -987,7 +987,7 @@
-
+
diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 2c28ba359ef..0aa4122fffc 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -145,6 +145,18 @@ function xmldb_main_upgrade($oldversion) {
upgrade_main_savepoint(true, 2012020200.06);
}
+ if ($oldversion < 2012021700.01) {
+ // Changing precision of field uniquehash on table post to 255
+ $table = new xmldb_table('post');
+ $field = new xmldb_field('uniquehash', XMLDB_TYPE_CHAR, '255', null, XMLDB_NOTNULL, null, null, 'content');
+
+ // Launch change of precision for field uniquehash
+ $dbman->change_field_precision($table, $field);
+
+ // Main savepoint reached
+ upgrade_main_savepoint(true, 2012021700.01);
+ }
+
return true;
}
diff --git a/version.php b/version.php
index 59d1d9b97fc..c6cbbefa5c6 100644
--- a/version.php
+++ b/version.php
@@ -30,7 +30,7 @@
defined('MOODLE_INTERNAL') || die();
-$version = 2012021700.00; // YYYYMMDD = weekly release date of this DEV branch
+$version = 2012021700.01; // YYYYMMDD = weekly release date of this DEV branch
// RR = release increments - 00 in DEV branches
// .XX = incremental changes