From 1262db40ea70f46bbc697843fc0bf46231b547ff Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Thu, 5 Jan 2017 15:14:54 -0800 Subject: [PATCH] lint: Check for invalid '!!! warning'. --- tools/lint-all | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/lint-all b/tools/lint-all index e0859d9983..0a31667ce5 100755 --- a/tools/lint-all +++ b/tools/lint-all @@ -372,6 +372,8 @@ def build_custom_checkers(by_lang): 'description': "github should be spelled GitHub"}, {'pattern': '[oO]rganisation', # exclude usage in hrefs/divs 'description': "Organization is spelled with a z"}, + {'pattern': '!!! warning', + 'description': "!!! warning is invalid; it's spelled '!!! warn'"}, ] # type: RuleList html_rules = whitespace_rules + prose_style_rules + [ {'pattern': 'placeholder="[^{]',