New Tool: repair members count for each group

[slaFFik]

In some cases (I'm still not able to find a reason) the group meta total_member_count and an actual number of members from wp_bp_messages_messages got unsynced.
Like: meta shows 7 members, while in a members table I see only 6 rows for that group.

I propose to add a new tool:

[ ] Repair total members count for each group.

What do you think?

If yes, where is better to add it? I'd like to see it under Repair total members count., but that will require changing all ids in $repair_list in bp_admin_repair_list(). Or adding $repair_list[23] for this new menu.

[DJPaul]

I'm not too worried where it lives in the list. Whoever implements the feature can change all the IDs and rearrange things if there's a better way to do it.

I much prefer to figure out why this sort of thing becomes unsynced, but since we have other similar tools, if someone wants to write this, I've no objection.

[slaFFik]

I was not able to replicate the issue.
After some thinking I decided, that creating a tool to fix a problem that can't be replicated - is a path to core bloat.
So I'm closing the ticket.