diff --git a/user/repository.php b/user/repository.php
index d398a8380c7..444f35dc3a9 100644
--- a/user/repository.php
+++ b/user/repository.php
@@ -55,14 +55,11 @@ $PAGE->set_heading($course->fullname);
 
 echo $OUTPUT->header();
 
-$currenttab = 'repositories';
-require('tabs.php');
-
 echo $OUTPUT->heading($configstr);
 echo $OUTPUT->box_start();
 
 $params = array();
-$params['context'] = $coursecontext;
+$params['context'] = [$coursecontext];
 $params['currentcontext'] = $PAGE->context;
 $params['userid']   = $USER->id;
 if (!$instances = repository::get_instances($params)) {