jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/414696 )

Change subject: patrol.py: Document options which are not documented ......................................................................

patrol.py: Document options which are not documented

Bug: T188234 Change-Id: I185b51b8aa15b3c354d49c0749f4cdd4d9e04867 --- M scripts/patrol.py 1 file changed, 7 insertions(+), 1 deletion(-)

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

diff --git a/scripts/patrol.py b/scripts/patrol.py index f21be42..ca988bc 100755 --- a/scripts/patrol.py +++ b/scripts/patrol.py @@ -38,10 +38,16 @@ -whitelist page title for whitelist (optional) -autopatroluserns Takes user consent to automatically patrol -versionchecktime Check versionchecktime lapse in sec +-repeat Repeat run after 60 seconds +-newpages Run on unpatrolled new pages + (default for Wikipedia Projects) +-recentchanges Run on complete unpatrolled recentchanges + (default for any project except Wikipedia Projects) +-usercontribs Filter generators above to the given user

""" # -# (C) Pywikibot team, 2011-2017 +# (C) Pywikibot team, 2011-2018 # # Distributed under the terms of the MIT license. #