jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/359812 )
Change subject: Remove unnecessary botflag=True and minorEdit=True ......................................................................
Remove unnecessary botflag=True and minorEdit=True
It's default parameters
Change-Id: I368d8f6b9e3c5a1f5f7541cea359d48142fa3a9e --- M scripts/category.py M scripts/djvutext.py M scripts/wikisourcetext.py 3 files changed, 3 insertions(+), 6 deletions(-)
Approvals: Merlijn van Deen: Looks good to me, approved jenkins-bot: Verified
diff --git a/scripts/category.py b/scripts/category.py index d7854da..aec975d 100755 --- a/scripts/category.py +++ b/scripts/category.py @@ -386,8 +386,7 @@ 'category-adding', {'newcat': catpl.title(withNamespace=False)}) try: - self.userPut(self.current_page, old_text, text, - summary=comment, minor=True, botflag=True) + self.userPut(self.current_page, old_text, text, summary=comment) except pywikibot.PageSaveRelatedError as error: pywikibot.output(u'Page %s not saved: %s' % (self.current_page.title(asLink=True), diff --git a/scripts/djvutext.py b/scripts/djvutext.py index f27e84c..c7a8f13 100644 --- a/scripts/djvutext.py +++ b/scripts/djvutext.py @@ -120,8 +120,7 @@ if page.exists() and not self.getOption('force'): pywikibot.output('Page %s already exists, not adding!' % page) else: - self.userPut(page, old_text, new_text, - summary=summary, minor=True, botflag=True) + self.userPut(page, old_text, new_text, summary=summary)
def main(*args): diff --git a/scripts/wikisourcetext.py b/scripts/wikisourcetext.py index de5f154..6ee8ae9 100644 --- a/scripts/wikisourcetext.py +++ b/scripts/wikisourcetext.py @@ -87,8 +87,7 @@ if page.exists(): pywikibot.output('Page %s already exists, not adding!' % page) else: - self.userPut(page, old_text, new_text, - summary=summary, minor=True, botflag=True, + self.userPut(page, old_text, new_text, summary=summary, show_diff=self.getOption('showdiff'))