Merlijn van Deen has submitted this change and it was merged. Change subject: make channel filter case-insensitive ......................................................................
make channel filter case-insensitive Change-Id: I9d524c7fe7d0c67387ed28033b77ab8f35784767 --- M channelfilter.py 1 file changed, 3 insertions(+), 1 deletion(-) Approvals: Merlijn van Deen: Verified; Looks good to me, approved diff --git a/channelfilter.py b/channelfilter.py index e8101e3..c908350 100644 --- a/channelfilter.py +++ b/channelfilter.py @@ -19,7 +19,9 @@ chan_proj_map = self.config['channels'] for channel in chan_proj_map: fullregex = "^(" + "|".join(chan_proj_map[channel]) + ")$" - chan_proj_map[channel] = re.compile(fullregex) + chan_proj_map[channel] = re.compile(fullregex, + flags=(re.IGNORECASE | re.UNICODE) + ) @property def firehose_channel(self): -- To view, visit https://gerrit.wikimedia.org/r/176466 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9d524c7fe7d0c67387ed28033b77ab8f35784767 Gerrit-PatchSet: 1 Gerrit-Project: labs/tools/wikibugs2 Gerrit-Branch: master Gerrit-Owner: Merlijn van Deen <valhall...@arctus.nl> Gerrit-Reviewer: Merlijn van Deen <valhall...@arctus.nl> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits