merged fix for 5686

diff --git a/admin/utfdbmigrate.php b/admin/utfdbmigrate.php
index 28deea73d9c26c9d96856a57b51ff4e7763ac58f..233364fae896afa145369772ebcd4f8b818347aa 100755 (executable)
--- a/admin/utfdbmigrate.php
+++ b/admin/utfdbmigrate.php
@@ -4,7 +4,7 @@
     require_once('../config.php');
     require_once($CFG->libdir.'/adminlib.php');
     require_once($CFG->libdir.'/environmentlib.php');
-
+    require_once($CFG->dirroot.'/course/lib.php');
     require_login();
 
     if (!isadmin()) {