jenkins-bot has submitted this change. ( 
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/961417 )

Change subject: [mypy] fix some typing issues in cosmetic_changes
......................................................................

[mypy] fix some typing issues in cosmetic_changes

Change-Id: I4c9cedbee99ce61d66079d84e4e20f2a0ab6181f
---
M pywikibot/textlib.py
1 file changed, 12 insertions(+), 3 deletions(-)

Approvals:
  Xqt: Looks good to me, approved
  jenkins-bot: Verified




diff --git a/pywikibot/textlib.py b/pywikibot/textlib.py
index b8ac31f..375146c 100644
--- a/pywikibot/textlib.py
+++ b/pywikibot/textlib.py
@@ -19,11 +19,11 @@
     Iterable,
     Match,
     List,
+    Pattern,
+    Tuple,
 )
 from pywikibot.backports import OrderedDict as OrderedDictType
-from pywikibot.backports import Pattern
 from pywikibot.backports import Sequence as SequenceType
-from pywikibot.backports import Tuple
 from pywikibot.exceptions import InvalidTitleError, SiteDefinitionError
 from pywikibot.family import Family
 from pywikibot.time import TZoneFixedOffset
@@ -382,7 +382,7 @@
 def replaceExcept(text: str,
                   old: Union[str, Pattern[str]],
                   new: Union[str, Callable[[Match[str]], str]],
-                  exceptions: List[Union[str, Pattern[str]]],
+                  exceptions: SequenceType[Union[str, Pattern[str]]],
                   caseInsensitive: bool = False,
                   allowoverlap: bool = False,
                   marker: str = '',

--
To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/961417
To unsubscribe, or for help writing mail filters, visit 
https://gerrit.wikimedia.org/r/settings

Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Change-Id: I4c9cedbee99ce61d66079d84e4e20f2a0ab6181f
Gerrit-Change-Number: 961417
Gerrit-PatchSet: 2
Gerrit-Owner: Xqt <[email protected]>
Gerrit-Reviewer: Xqt <[email protected]>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged
_______________________________________________
Pywikibot-commits mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to