Paul Holden c25882e8df MDL-79270 admin: new filter type for filtering users by course role. ...

Use in the new browse users system report, to which it is quite
specific. The filter itself is a like for like replacement of the
pre-existing filter on the same page, and is really a combination
of existing role/category/course filters.

2023-12-11 12:36:57 +01:00

..

task_logs.php

MDL-75034 reportbuilder: move classes into consistent namespace.

2022-10-07 15:05:34 +01:00

users.php

MDL-79270 admin: new filter type for filtering users by course role.

2023-12-11 12:36:57 +01:00