Matt Davidson b7374faca6 MDL-43230 badges: manually revoke awarded badges ...

A user can be manually awarded a badge, but if given by mistake an
awarded badge cannot be removed.

2016-10-12 05:06:38 +00:00

..

assertion.php

…

external.php

…

observer.php

…