Add members (#7220)

* Add "Add members" modal

* Refactor into server user list

* Renaming and fixes

* Address feedback

* Add missing change

* Styling fixes for iOS
This commit is contained in:
Daniel Espino García
2023-03-30 16:58:50 +02:00
committed by GitHub
parent 05469207d7
commit 77095b1034
36 changed files with 826 additions and 277 deletions

View File

@@ -103,6 +103,7 @@ type SearchUserOptions = {
team_id?: string;
not_in_team?: string;
in_channel_id?: string;
not_in_channel_id?: string;
in_group_id?: string;
group_constrained?: boolean;
allow_inactive?: boolean;