Sorted the list of supported HTML5 attributes and removed duplicates. (#3817)

src/Text/Pandoc/Writers/HTML.hs

@@ -1185,11 +1185,9 @@ html5Attributes = Set.fromList
   , "as"
   , "async"
   , "autocomplete"
-  , "autocomplete"
   , "autofocus"
   , "autoplay"
   , "charset"
-  , "charset"
   , "checked"
   , "cite"
   , "class"
@@ -1203,18 +1201,15 @@ html5Attributes = Set.fromList
   , "crossorigin"
   , "data"
   , "datetime"
-  , "datetime"
   , "default"
   , "defer"
   , "dir"
-  , "dir"
   , "dirname"
   , "disabled"
   , "download"
   , "draggable"
   , "enctype"
   , "for"
-  , "for"
   , "form"
   , "formaction"
   , "formenctype"
@@ -1226,8 +1221,6 @@ html5Attributes = Set.fromList
   , "hidden"
   , "high"
   , "href"
-  , "href"
-  , "href"
   , "hreflang"
   , "http-equiv"
   , "id"
@@ -1248,90 +1241,20 @@ html5Attributes = Set.fromList
   , "low"
   , "manifest"
   , "max"
-  , "max"
   , "maxlength"
   , "media"
   , "method"
   , "min"
-  , "min"
   , "minlength"
   , "multiple"
   , "muted"
   , "name"
-  , "name"
-  , "name"
-  , "name"
-  , "name"
-  , "name"
-  , "name"
   , "nomodule"
   , "nonce"
   , "novalidate"
-  , "open"
-  , "open"
-  , "optimum"
-  , "pattern"
-  , "ping"
-  , "placeholder"
-  , "playsinline"
-  , "poster"
-  , "preload"
-  , "readonly"
-  , "referrerpolicy"
-  , "rel"
-  , "rel"
-  , "required"
-  , "reversed"
-  , "rows"
-  , "rowspan"
-  , "sandbox"
-  , "scope"
-  , "scope"
-  , "selected"
-  , "shape"
-  , "size"
-  , "sizes"
-  , "sizes"
-  , "slot"
-  , "span"
-  , "spellcheck"
-  , "src"
-  , "srcdoc"
-  , "srclang"
-  , "srcset"
-  , "start"
-  , "step"
-  , "style"
-  , "tabindex"
-  , "target"
-  , "target"
-  , "target"
-  , "title"
-  , "title"
-  , "title"
-  , "title"
-  , "title"
-  , "translate"
-  , "type"
-  , "type"
-  , "type"
-  , "type"
-  , "type"
-  , "typemustmatch"
-  , "updateviacache"
-  , "usemap"
-  , "value"
-  , "value"
-  , "value"
-  , "value"
-  , "value"
-  , "value"
-  , "width"
-  , "workertype"
-  , "wrap"
   , "onabort"
-  , "onauxclick"
   , "onafterprint"
+  , "onauxclick"
   , "onbeforeprint"
   , "onbeforeunload"
   , "onblur"
@@ -1380,7 +1303,6 @@ html5Attributes = Set.fromList
   , "onmouseout"
   , "onmouseover"
   , "onmouseup"
-  , "onwheel"
   , "onoffline"
   , "ononline"
   , "onpagehide"
@@ -1392,9 +1314,9 @@ html5Attributes = Set.fromList
   , "onpopstate"
   , "onprogress"
   , "onratechange"
+  , "onrejectionhandled"
   , "onreset"
   , "onresize"
-  , "onrejectionhandled"
   , "onscroll"
   , "onsecuritypolicyviolation"
   , "onseeked"
@@ -1410,4 +1332,48 @@ html5Attributes = Set.fromList
   , "onunload"
   , "onvolumechange"
   , "onwaiting"
+  , "onwheel"
+  , "open"
+  , "optimum"
+  , "pattern"
+  , "ping"
+  , "placeholder"
+  , "playsinline"
+  , "poster"
+  , "preload"
+  , "readonly"
+  , "referrerpolicy"
+  , "rel"
+  , "required"
+  , "reversed"
+  , "rows"
+  , "rowspan"
+  , "sandbox"
+  , "scope"
+  , "selected"
+  , "shape"
+  , "size"
+  , "sizes"
+  , "slot"
+  , "span"
+  , "spellcheck"
+  , "src"
+  , "srcdoc"
+  , "srclang"
+  , "srcset"
+  , "start"
+  , "step"
+  , "style"
+  , "tabindex"
+  , "target"
+  , "title"
+  , "translate"
+  , "type"
+  , "typemustmatch"
+  , "updateviacache"
+  , "usemap"
+  , "value"
+  , "width"
+  , "workertype"
+  , "wrap"
   ]