Rush has uploaded a new change for review. https://gerrit.wikimedia.org/r/255163
Change subject: check_legal_html compensate for non-impacting changes ...................................................................... check_legal_html compensate for non-impacting changes Change-Id: I0af93e7097492515427f49d9c04340ee33930236 --- M modules/icinga/files/check_legal_html.py 1 file changed, 7 insertions(+), 4 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/63/255163/1 diff --git a/modules/icinga/files/check_legal_html.py b/modules/icinga/files/check_legal_html.py index aec72f3..6fc2642 100644 --- a/modules/icinga/files/check_legal_html.py +++ b/modules/icinga/files/check_legal_html.py @@ -27,8 +27,8 @@ mobile_terms = '<a href="//m.wikimediafoundation.org/wiki/Terms_of_Use">\ Terms of Use</a>' -mobile_privacy = '<a href="//wikimediafoundation.org/wiki/Privacy_policy">\ -Privacy</a>' +mobile_privacy = '<a href="//wikimediafoundation.org/wiki/Privacy_policy" \ +title="wmf:Privacy policy">Privacy</a>' copyright = 'Text\sis available under the <a\s+rel="license"\s+\ href="//en.wikipedia.org/wiki/Wikipedia:\ @@ -42,6 +42,9 @@ privacy = '<a href="//wikimediafoundation.org/wiki/Privacy_policy">\ Privacy policy</a>' + +enwb_privacy = '<a href="//wikimediafoundation.org/wiki/Privacy_policy">\ +Privacy Policy.</a>' enwp_trademark = 'Wikipedia® is a registered trademark \ of the <a href="//www.wikimediafoundation.org/">\ @@ -69,7 +72,7 @@ 'desktop_enwb': [ enwb_copyright, terms, - privacy, + enwb_privacy, ], 'desktop_enwp': [ copyright, @@ -102,7 +105,7 @@ html = site_html(site) for match in ensures: log(match) - count = len(re.findall(match, html)) + count = len(re.findall(match, html, re.IGNORECASE)) log(count) if not count: print "%s html not found" % (match,) -- To view, visit https://gerrit.wikimedia.org/r/255163 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I0af93e7097492515427f49d9c04340ee33930236 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Rush <r...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits