mirror of
https://github.com/moodle/moodle.git
synced 2025-03-01 06:22:39 +01:00
As part of fixing this, I refactored some common code out of get_potential_users and search_other_users. Previously, only one of those bits of code had been updated.