diff --git a/grade/report/user/renderer.php b/grade/report/user/renderer.php index 07f7dc8332a..1191026a5b6 100644 --- a/grade/report/user/renderer.php +++ b/grade/report/user/renderer.php @@ -142,6 +142,7 @@ class gradereport_user_renderer extends plugin_renderer_base { $navigationdata = []; + $users = []; while ($userdata = $gui->next_user()) { $users[$userdata->user->id] = $userdata->user; } @@ -150,6 +151,11 @@ class gradereport_user_renderer extends plugin_renderer_base { $arraykeys = array_keys($users); $keynumber = array_search($userid, $arraykeys); + // Without a valid user or users list, there's nothing to render. + if ($keynumber === false) { + return ''; + } + // Determine directionality so that icons can be modified to suit language. $previousarrow = right_to_left() ? 'right' : 'left'; $nextarrow = right_to_left() ? 'left' : 'right';