jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/461110 )
Change subject: [IMPR] Use a set to lookup pages to be ignored ......................................................................
[IMPR] Use a set to lookup pages to be ignored
Change-Id: Ie4ad8a6c6b5f1d87607847c9e209aeb5f0a61062 --- M scripts/solve_disambiguation.py 1 file changed, 2 insertions(+), 2 deletions(-)
Approvals: Framawiki: Looks good to me, approved jenkins-bot: Verified
diff --git a/scripts/solve_disambiguation.py b/scripts/solve_disambiguation.py index 823f513..0765898 100755 --- a/scripts/solve_disambiguation.py +++ b/scripts/solve_disambiguation.py @@ -460,7 +460,7 @@ """ self.disambPage = disambPage self.enabled = enabled - self.ignorelist = [] + self.ignorelist = set()
folder = config.datafilepath('disambiguations') if os.path.exists(folder): @@ -484,7 +484,7 @@ line = line.rstrip('\r\n') # skip empty lines if line: - self.ignorelist.append(line) + self.ignorelist.add(line) except IOError: pass
pywikibot-commits@lists.wikimedia.org