mirror of
https://github.com/moodle/moodle.git
synced 2025-02-20 08:05:49 +01:00
* When deleting a badge, delete badge_related records where this badge is also set as the related badge.
* When deleting a badge, delete badge_related records where this badge is also set as the related badge.