mirror of
https://github.com/moodle/moodle.git
synced 2025-01-18 05:58:34 +01:00
e059c033d9
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.