mirror of
https://github.com/moodle/moodle.git
synced 2025-03-12 19:54:08 +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.