mirror of
https://github.com/moodle/moodle.git
synced 2025-02-21 09:52:54 +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.