jenkins-bot has submitted this change and it was merged.
Change subject: djvutxt.py: specify Page ns in title when creating Page
......................................................................
djvutxt.py: specify Page ns in title when creating Page
Construct target page title using explicitly Proofread Page namespace to
avoid errors when instantiating ProofreadPage object.
Bug: T130908
Change-Id: I1e138e694acb3523b8e3be1efa447ffaa681dd9b
---
M scripts/djvutext.py
1 file changed, 5 insertions(+), 2 deletions(-)
Approvals:
John Vandenberg: Looks good to me, approved
jenkins-bot: Verified
diff --git a/scripts/djvutext.py b/scripts/djvutext.py
index 806b99f..7a3589d 100644
--- a/scripts/djvutext.py
+++ b/scripts/djvutext.py
@@ -74,6 +74,7 @@
self._djvu = djvu
self._index = index
self._prefix = self._index.title(withNamespace=False)
+ self._page_ns = self.site._proofread_page_ns.custom_name
if not pages:
self._pages = (1, self._djvu.number_of_images())
@@ -99,8 +100,10 @@
def gen(self):
"""Generate pages from specified page interval."""
for page_number in self.page_number_gen():
- title = '{prefix}/{number}'.format(prefix=self._prefix,
- number=page_number)
+ title = '{page_ns}:{prefix}/{number}'.format(
+ page_ns=self._page_ns,
+ prefix=self._prefix,
+ number=page_number)
page = ProofreadPage(self._index.site, title)
page.page_number = page_number # remember page number in djvu file
yield page
--
To view, visit https://gerrit.wikimedia.org/r/279662
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1e138e694acb3523b8e3be1efa447ffaa681dd9b
Gerrit-PatchSet: 1
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Owner: Mpaa <[email protected]>
Gerrit-Reviewer: John Vandenberg <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
