Details
Description
I've seen sites with a lot of group members who are deleted. They are still displayed in the interface and caused a lot of confusion.
mysql> select count
from mdl_user u, mdl_groups_members m WHERE u.id = m.userid AND u.deleted = 1;
We need to clean this up in upgrade & also ensure the group members are deleted when removing courses & users etc.
I guess something like delete m from mdl_user u, mdl_groups_members m WHERE u.id = m.userid AND u.deleted = 1;