removing an extra include

diff --git a/course/user.php b/course/user.php
index bbdacad704af4c8a23d2669b5b6ee5befcc704c3..cbf9152ae0ba268fbf224c998004b59dc2ea41f6 100644 (file)
--- a/course/user.php
+++ b/course/user.php
@@ -70,7 +70,6 @@
         case "grade":
             $course = get_record('course', 'id', required_param('id', PARAM_INT));
             if (!empty($course->showgrades)) {
-                require_once $CFG->libdir.'/gradelib.php';
                 require_once $CFG->dirroot.'/grade/lib.php';
                 require_once $CFG->dirroot.'/grade/report/user/lib.php';
                 $context     = get_context_instance(CONTEXT_COURSE, $id);