Added timestart and timeend field to user_teachers table

(in preparation for enrollment architecture)

lib/db/mysql.php

@@ -775,6 +775,11 @@ function main_upgrade($oldversion=0) {
         table_column('user', "", 'maildigest', 'tinyint', '1', '', '0', 'not null', 'mailformat');
     }
 
+    if ($oldversion < 2004062400) {
+        table_column('user_teachers', "", 'timeend', 'int', '10', 'unsigned', '0', 'not null', 'editall');
+        table_column('user_teachers', "", 'timestart', 'int', '10', 'unsigned', '0', 'not null', 'editall');
+    }
+
     return $result;
 
 }

lib/db/mysql.sql

@@ -404,6 +404,8 @@ CREATE TABLE `prefix_user_teachers` (
   `authority` int(10) NOT NULL default '3',
   `role` varchar(40) NOT NULL default '',
   `editall` int(1) unsigned NOT NULL default '1',
+  `timestart` int(10) unsigned NOT NULL default '0',
+  `timeend` int(10) unsigned NOT NULL default '0',
   `timemodified` int(10) unsigned NOT NULL default '0',
   `timeaccess` int(10) unsigned NOT NULL default '0',
   PRIMARY KEY  (`id`),

lib/db/postgres7.php

@@ -517,6 +517,11 @@ function main_upgrade($oldversion=0) {
         table_column('user', "", 'maildigest', 'smallint', '1', '', '0', 'not null', 'mailformat');
     }
 
+    if ($oldversion < 2004062400) {
+        table_column('user_teachers', "", 'timeend', 'int', '10', 'unsigned', '0', 'not null', 'editall');
+        table_column('user_teachers', "", 'timestart', 'int', '10', 'unsigned', '0', 'not null', 'editall');
+    }
+
     return $result;
 
 }

lib/db/postgres7.sql

@@ -264,6 +264,8 @@ CREATE TABLE prefix_user_teachers (
    authority integer NOT NULL default '3',
    role varchar(40) NOT NULL default '',
    editall integer NOT NULL default '1',
+   timestart integer NOT NULL default '0',
+   timeend integer NOT NULL default '0',
    timemodified integer NOT NULL default '0',
    timeaccess integer NOT NULL default '0'
 );

version.php

@@ -5,7 +5,7 @@
 // database to determine whether upgrades should
 // be performed (see lib/db/*.php)
 
-$version = 2004060400;   // The current version is a date (YYYYMMDDXX)
+$version = 2004062400;   // The current version is a date (YYYYMMDDXX)
 
 $release = "1.4 development";   // User-friendly version number