mirror of
https://github.com/moodle/moodle.git
synced 2025-02-21 09:52:54 +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.