admin alias

discord/ext/commands/converter.py

@@ -214,7 +214,7 @@ class UserConverter(IDConverter):
 
         if match is not None:
             user_id = int(match.group(1))
-            result = ctx.bot.get_user(user_id) or _utils_get(ctx.message.mentions, id=user_id)
+            result = await ctx.bot.try_user(user_id) or _utils_get(ctx.message.mentions, id=user_id)
         else:
             arg = argument
 

discord/permissions.py

@@ -231,6 +231,8 @@ class Permissions(BaseFlags):
         """
         return 1 << 3
 
+    admin = administrator
+
     @flag_value
     def manage_channels(self):
         """:class:`bool`: Returns ``True`` if a user can edit, delete, or create channels in the guild.