mirror of
https://github.com/moodle/moodle.git
synced 2025-03-23 17:10:20 +01:00
* When we add users to a group (or remove them), we should refresh the course index cache so it stays in sync with what the user can actually see.