Merge branch 'V3/develop' of https://github.com/Ascensionn/Red-Discor…

…dBot into V3/develop

This is to add the extra feature for the [p]warn command, where now the
user will be banned if they are found to have left the discord server
instead. This suspect will be traced by their userIDc

.pylintrc

@@ -26,14 +26,6 @@ unsafe-load-any-extension=no
 # run arbitrary code
 extension-pkg-whitelist=
 
-# Allow optimization of some AST trees. This will activate a peephole AST
-# optimizer, which will apply various small optimizations. For instance, it can
-# be used to obtain the result of joining multiple strings with the addition
-# operator. Joining a lot of strings can lead to a maximum recursion error in
-# Pylint and this flag can prevent that. It has one side effect, the resulting
-# AST will be different than the one from reality.
-optimize-ast=no
-
 
 [MESSAGES CONTROL]
 
@@ -66,7 +58,6 @@ disable=C, # black is enforcing this for us already, incompatibly
 [REPORTS]
 
 output-format=parseable
-files-output=no
 reports=no
 
 

redbot/core/utils/menus.py

@@ -212,13 +212,12 @@ async def control_no(*args, **kwargs):
         # where the original message is already sent prior to starting.
         # This is not normally the way we recommend sending this because
         # internally we already include the emojis we expect.
+        view = SimpleMenu(pages, timeout=timeout)
         if controls == DEFAULT_CONTROLS:
-            view = SimpleMenu(pages, timeout=timeout)
             await view.start(ctx, user=user)
             await view.wait()
             return
         else:
-            view = SimpleMenu(pages, timeout=timeout)
             view.remove_item(view.last_button)
             view.remove_item(view.first_button)
             has_next = False