mirror of
https://github.com/Cog-Creators/Red-DiscordBot.git
synced 2025-12-07 01:42:30 -05:00
Privatize APIs by renaming or removing them from __all__ (#6021)
This commit is contained in:
@@ -8,6 +8,8 @@ from discord.ext import commands as dpy_commands
|
||||
|
||||
from redbot.core import commands
|
||||
|
||||
__all__ = ("MessagePredicate", "ReactionPredicate")
|
||||
|
||||
_ID_RE = re.compile(r"([0-9]{15,20})$")
|
||||
_USER_MENTION_RE = re.compile(r"<@!?([0-9]{15,20})>$")
|
||||
_CHAN_MENTION_RE = re.compile(r"<#([0-9]{15,20})>$")
|
||||
|
||||
Reference in New Issue
Block a user