Access To User ID Via Mobile
I am a moderator on a discord server and in order to add users to a ticket to warn them about certain rules broken, I need the user's id for the command. If a certain message has already been deleted by a bot, I use the discord members list to search the user and can copy their ID on pc. However, the option to copy a user ID cannot be accessed via the server's member list on mobile so I am unable to handle certain issues in the server whilst away from my computer.
It is on mobile too. Press your profile picture to go to settings, scroll down to app settings, press advanced, and enable developer mode if you haven't. Then go to a user list, press someone's name, press the 3 dots at the top-right of their banner, and press copy ID at the bottom of the list of actions.1
Im referring to the server member list that you access via server settings. The server is too large to find users through the member side bar so this becomes an issue when theres a user with no available chat history if the only things they've said get auto deleted by he bot0