This commit is contained in:
Ilya Tregubov
2023-04-18 12:01:28 +08:00
+6
View File
@@ -145,6 +145,7 @@ class gradereport_user_renderer extends plugin_renderer_base {
$navigationdata = [];
$users = [];
while ($userdata = $gui->next_user()) {
$users[$userdata->user->id] = $userdata->user;
}
@@ -153,6 +154,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';