diff --git a/user/renderer.php b/user/renderer.php index 9368c19083c..ca0fe04d407 100644 --- a/user/renderer.php +++ b/user/renderer.php @@ -320,12 +320,14 @@ class core_user_renderer extends plugin_renderer_base { $val = get_string('numyear', 'moodle', 1); $filteroptions += $this->format_filter_option(USER_FILTER_LAST_ACCESS, $criteria, $timestamp, $val); } + break; case USER_FILTER_ROLE: $criteria = get_string('role'); if ($role = $DB->get_record('role', array('id' => $value))) { $role = role_get_name($role); $filteroptions += $this->format_filter_option(USER_FILTER_ROLE, $criteria, $value, $role); } + break; } } }