mirror of
https://github.com/moodle/moodle.git
synced 2025-02-22 19:06:51 +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.