[Pywikibot-commits] [Gerrit] pywikibot/core[master]: [doc] remove pagegenerators replacement

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

-&params; - 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 = { - '&params;': pagegenerators.parameterHelp -} -

class PatrolBot(SingleSiteBot):