jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/462517 )
Change subject: [doc] remove pagegenerators replacement
......................................................................
[doc] remove pagegenerators replacement
remove pagegenerators replacement because no additional options
are used except -namespace which is already listed in help doc
detached from I4ef9009c91e
Change-Id: Ibb92f59532ecfe23c6504d08a87cab6d8c63076a
---
M scripts/patrol.py
1 file changed, 0 insertions(+), 8 deletions(-)
Approvals:
Dvorapa: Looks good to me, approved
jenkins-bot: Verified
diff --git a/scripts/patrol.py b/scripts/patrol.py
index cbbcec5..c48d50f 100755
--- a/scripts/patrol.py
+++ b/scripts/patrol.py
@@ -27,8 +27,6 @@
https://en.wikisource.org/wiki/User:Wikisource-bot/patrol_whitelist
-¶ms;
-
Commandline parameters
======================
@@ -67,12 +65,6 @@
_logger = 'patrol'
-# This is required for the text that is shown when you run this script
-# with the parameter -help.
-docuReplacements = {
- '¶ms;': pagegenerators.parameterHelp
-}
-
class PatrolBot(SingleSiteBot):
--
To view, visit https://gerrit.wikimedia.org/r/462517
To unsubscribe, or for help writing mail filters, visit https://gerrit.wikimedia.org/r/settings
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibb92f59532ecfe23c6504d08a87cab6d8c63076a
Gerrit-Change-Number: 462517
Gerrit-PatchSet: 2
Gerrit-Owner: Xqt <info(a)gno.de>
Gerrit-Reviewer: Dvorapa <dvorapa(a)seznam.cz>
Gerrit-Reviewer: John Vandenberg <jayvdb(a)gmail.com>
Gerrit-Reviewer: jenkins-bot (75)