Details
Bug
Closed
Minor
Description
If you try to update the case of a group name (e.g. change "MY GROUP" to "My Group"), you get this error:
The group name 'My Group' already exists in this course, please choose another one.
Same goes for Groupings.
Easy enough to fix this, see attached patch. The scripts concerned already check to see whether the name is unchanged, I just changed that condition so that it does a case-insensitive comparison. As far as I can tell this doesn't cause any other problems.
I have fixed both groups and groupings using unicode compatible case insensitive comparison, thanks for the report and patch!
Petr