CONTRIB-775 reverting

diff --git a/grade/edit/tree/index.php b/grade/edit/tree/index.php
index f3997f4c3e5457cfc897907081d1d5ccf1f0c9fd..70b8cee92119ae2ea69e30dc6f61703c6d13d78d 100644 (file)
--- a/grade/edit/tree/index.php
+++ b/grade/edit/tree/index.php
@@ -34,7 +34,7 @@ $eid      = optional_param('eid', 0, PARAM_ALPHANUM);
 
 /// Make sure they can even access this course
 
-if (!$course = $DB->get_record('course', array('id' => $courseid))) {
+if (!$course = get_record('course', 'id', $courseid)) {
     print_error('nocourseid');
 }