Quentin Gliech 74f60cec92 Add an admin API endpoint to find a user based on its external ID in an auth provider. (#13810)		2022-09-16 12:29:03 +00:00
..
__init__.py	Add an admin API endpoint to find a user based on its external ID in an auth provider. (#13810)	2022-09-16 12:29:03 +00:00
_base.py	…
background_updates.py	…
devices.py	…
event_reports.py	…
federation.py	…
media.py	…
registration_tokens.py	…
rooms.py	…
server_notice_servlet.py	…
statistics.py	…
username_available.py	…
users.py	Add an admin API endpoint to find a user based on its external ID in an auth provider. (#13810)	2022-09-16 12:29:03 +00:00