diff --git a/lib/db/install.xml b/lib/db/install.xml index c89d025d068..1216c62d85d 100644 --- a/lib/db/install.xml +++ b/lib/db/install.xml @@ -1,5 +1,5 @@ - @@ -1353,8 +1353,9 @@ - - + + + diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php index be0a781cc49..b62eed55b42 100644 --- a/lib/db/upgrade.php +++ b/lib/db/upgrade.php @@ -1170,7 +1170,16 @@ function xmldb_main_upgrade($oldversion=0) { /// Launch drop field parent $result = $result && drop_field($table, $field); } + if ($result && $oldversion < 2007050400) { + /// Define field feedbackformat to be added to grade_grades_text + $table = new XMLDBTable('grade_grades_text'); + $field = new XMLDBField('feedbackformat'); + $field->setAttributes(XMLDB_TYPE_INTEGER, '10', XMLDB_UNSIGNED, XMLDB_NOTNULL, null, null, null, '0', 'feedback'); + + /// Launch add field feedbackformat + $result = $result && add_field($table, $field); + } return $result; } diff --git a/version.php b/version.php index f601d202023..f566c236f7a 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 = 2007050301; // YYYYMMDD = date + $version = 2007050400; // YYYYMMDD = date // XY = increments within a single day $release = '1.9 dev'; // Human-friendly version name