diff --git a/lib/db/install.xml b/lib/db/install.xml
index dec9959b3d8..2d238b9dac0 100644
--- a/lib/db/install.xml
+++ b/lib/db/install.xml
@@ -472,7 +472,7 @@
-
+
@@ -1291,7 +1291,7 @@
-
+
diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 88cf92b3392..d94197eedb1 100644
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -1019,6 +1019,16 @@ function xmldb_main_upgrade($oldversion=0) {
$result = $result && add_field($table, $field);
}
+ if ($result && $oldversion < 2007042601) {
+
+ /// Changing nullability of field usermodified on table grade_calculations to null
+ $table = new XMLDBTable('grade_calculations');
+ $field = new XMLDBField('usermodified');
+ $field->setAttributes(XMLDB_TYPE_INTEGER, '10', XMLDB_UNSIGNED, null, null, null, null, null, 'timemodified');
+
+ /// Launch change of nullability for field usermodified
+ $result = $result && change_field_notnull($table, $field);
+ }
return $result;
}
diff --git a/version.php b/version.php
index d2c5a718d83..aa3f3f92e06 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 = 2007042600; // YYYYMMDD = date
+ $version = 2007042601; // YYYYMMDD = date
// XY = increments within a single day
$release = '1.9 dev'; // Human-friendly version name