jenkins-bot has submitted this change and it was merged.
Change subject: remove obsolete PageTitles list object ......................................................................
remove obsolete PageTitles list object
Change-Id: Ic6344927b42cc171cf03155549fd4b2d64271a60 --- M scripts/reflinks.py 1 file changed, 0 insertions(+), 1 deletion(-)
Approvals: Ladsgroup: Looks good to me, approved jenkins-bot: Verified
diff --git a/scripts/reflinks.py b/scripts/reflinks.py index 965794a..986bfd9 100644 --- a/scripts/reflinks.py +++ b/scripts/reflinks.py @@ -789,7 +789,6 @@ def main(): genFactory = pagegenerators.GeneratorFactory()
- PageTitles = [] xmlFilename = None always = False ignorepdf = False
pywikibot-commits@lists.wikimedia.org