Changes have been made to all built-in themes, to add the new popup navigation menu."; echo "
If you have customised themes, you will need to edit theme/xxxx/header.html as follows:"; echo "
See the standard themes for examples, eg: theme/standard/header.html"; print_simple_box_end(); } if ($oldversion < 2002111200) { execute_sql(" ALTER TABLE `course` ADD `showrecent` TINYINT(5) UNSIGNED DEFAULT '1' NOT NULL AFTER `numsections` "); } if ($oldversion < 2002111400) { // Rebuild all course caches, because some may not be done in new installs (eg site page) if ($courses = get_records_sql("SELECT * FROM course")) { require_once("$CFG->dirroot/course/lib.php"); foreach ($courses as $course) { $modinfo = serialize(get_array_of_activities($course->id)); if (!set_field("course", "modinfo", $modinfo, "id", $course->id)) { notify("Could not cache module information for course '$course->fullname'!"); } } } } if ($oldversion < 2002112000) { set_config("guestloginbutton", 1); } if ($oldversion < 2002122300) { execute_sql("ALTER TABLE `log` CHANGE `user` `userid` INT(10) UNSIGNED DEFAULT '0' NOT NULL "); execute_sql("ALTER TABLE `user_admins` CHANGE `user` `userid` INT(10) UNSIGNED DEFAULT '0' NOT NULL "); execute_sql("ALTER TABLE `user_students` CHANGE `user` `userid` INT(10) UNSIGNED DEFAULT '0' NOT NULL "); execute_sql("ALTER TABLE `user_teachers` CHANGE `user` `userid` INT(10) UNSIGNED DEFAULT '0' NOT NULL "); execute_sql("ALTER TABLE `user_students` CHANGE `start` `timestart` INT(10) UNSIGNED DEFAULT '0' NOT NULL "); execute_sql("ALTER TABLE `user_students` CHANGE `end` `timeend` INT(10) UNSIGNED DEFAULT '0' NOT NULL "); } return true; } ?>