From f6ca5fc05664a931bd99879e6ee1562c7812a2f8 Mon Sep 17 00:00:00 2001 From: Christian Date: Tue, 3 Jun 2014 23:55:19 +0900 Subject: [PATCH] Update HtmlTags.json Added the
element which has been added to the HTML5 specification and is commonly used. Ref: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/main --- src/extensions/default/HTMLCodeHints/HtmlTags.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/extensions/default/HTMLCodeHints/HtmlTags.json b/src/extensions/default/HTMLCodeHints/HtmlTags.json index 0ffa7997fb8..0c76fabb983 100644 --- a/src/extensions/default/HTMLCodeHints/HtmlTags.json +++ b/src/extensions/default/HTMLCodeHints/HtmlTags.json @@ -65,6 +65,7 @@ "legend": { "attributes": [] }, "li": { "attributes": ["value"] }, "link": { "attributes": ["disabled", "href", "hreflang", "media", "rel", "sizes", "type"] }, + "main": { "attributes": [] }, "map": { "attributes": ["name"] }, "mark": { "attributes": [] }, "marquee": { "attributes": ["align", "behavior", "bgcolor", "direction", "height", "hspace", "loop", "scrollamount", "scrolldelay", "truespeed", "vspace", "width"] }, @@ -114,4 +115,4 @@ "var": { "attributes": [] }, "video": { "attributes": ["autoplay", "controls", "height", "loop", "mediagroup", "muted", "poster", "preload", "src", "width"] }, "wbr": { "attributes": [] } -} \ No newline at end of file +}