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'))
--
To view, visit
https://gerrit.wikimedia.org/r/359812
To unsubscribe, visit
https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I368d8f6b9e3c5a1f5f7541cea359d48142fa3a9e
Gerrit-PatchSet: 2
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Owner: Framawiki <framawiki(a)tools.wmflabs.org>
Gerrit-Reviewer: John Vandenberg <jayvdb(a)gmail.com>
Gerrit-Reviewer: Merlijn van Deen <valhallasw(a)arctus.nl>
Gerrit-Reviewer: jenkins-bot <>