jenkins-bot has submitted this change. (
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/961416 )
Change subject: [mypy] Fix some typing issues in family.py
......................................................................
[mypy] Fix some typing issues in family.py
Change-Id: I3b7a32545a1dacc7ef999e014f590df00dbb20ab
---
M pywikibot/family.py
1 file changed, 14 insertions(+), 4 deletions(-)
Approvals:
Xqt: Looks good to me, approved
jenkins-bot: Verified
diff --git a/pywikibot/family.py b/pywikibot/family.py
index 198b649..52c6d3a 100644
--- a/pywikibot/family.py
+++ b/pywikibot/family.py
@@ -25,6 +25,7 @@
FrozenSet,
List,
Mapping,
+ Sequence,
Set,
Tuple,
removesuffix,
@@ -95,7 +96,7 @@
# Allocator will override this classproperty.
return cls()
- name = None
+ name: Optional[str] = None
#: Not open for edits; stewards can still edit.
closed_wikis: List[str] = []
@@ -113,7 +114,7 @@
langs: Dict[str, str] = {}
# A list of category redirect template names in different languages
- category_redirect_templates = {
+ category_redirect_templates: Dict[str, Sequence[str]] = {
'_default': []
}
@@ -121,7 +122,7 @@
use_hard_category_redirects = []
# A list of disambiguation template names in different languages
- disambiguationTemplates = {
+ disambiguationTemplates: Dict[str, Sequence[str]] = {
'_default': []
}
@@ -187,7 +188,7 @@
# forward interlanguage links to another family (wikipedia).
# These families can set this variable to the name of the target
# family.
- interwiki_forward = None
+ interwiki_forward: Optional[str] = None
# Language codes of the largest wikis. They should be roughly sorted
# by size.
--
To view, visit
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/961416
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: I3b7a32545a1dacc7ef999e014f590df00dbb20ab
Gerrit-Change-Number: 961416
Gerrit-PatchSet: 2
Gerrit-Owner: Xqt <info(a)gno.de>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged