Fixed course.idnumber not being varchar(100) in installations post 2004/06

This commit is contained in:
martinlanghoff 2005-02-16 08:00:40 +00:00
parent c8680d86e9
commit e89ff6c6df
3 changed files with 6 additions and 2 deletions

View File

@ -1189,6 +1189,10 @@ function main_upgrade($oldversion=0) {
table_column('groups', '', 'theme', 'varchar', '50', '', '', '', 'lang');
table_column('user', '', 'theme', 'varchar', '50', '', '', '', 'lang');
}
if ($oldversion < 2005021600) { // course.idnumber should be varchar(100)
table_column('course', 'idnumber', 'idnumber', 'varchar', '100', '', '', '', '');
}
return $result;
}

View File

@ -34,7 +34,7 @@ CREATE TABLE `prefix_course` (
`password` varchar(50) NOT NULL default '',
`fullname` varchar(254) NOT NULL default '',
`shortname` varchar(15) NOT NULL default '',
`idnumber` varchar(50) NOT NULL default '',
`idnumber` varchar(100) NOT NULL default '',
`summary` text NOT NULL,
`format` varchar(10) NOT NULL default 'topics',
`showgrades` smallint(2) unsigned NOT NULL default '1',

View File

@ -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 = 2005021000; // YYYYMMDD = date of first major branch release 1.4
$version = 2005021600; // YYYYMMDD = date of first major branch release 1.4
// XY = increments within a single day
$release = '1.5 UNSTABLE DEVELOPMENT'; // Human-friendly version name