mirror of
https://github.com/moodle/moodle.git
synced 2025-01-22 08:11:26 +01:00
5a74165523
can be used all over the place. Also, related fixes to "add admin" (MUCH better performance) and the user listings More to come for "add teacher" and "add creator"