video attributes missing

[kwijibo]

Hi, I noticed these <video> attributes are missing from the Attributes module:

• crossorigin
• mediagroup
• muted https://www.w3.org/TR/html5/embedded-content-0.html#the-video-element

Would you be interested in a PR?

[process-bot]

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[RobertSwirsky]

muted is also missing for audio.

[nqthqn]

Workaround: Html.Attributes.attribute "muted" ""

[Paryz]

@nqthqn your solution does not work with the autoplay property for videos

working workaround property "muted" (Json.bool True)

This solution is working with the autoplay policy from chrome.

The muted property is sometimes visible and sometimes not but magically it's working

I will add a PR to extend the module with muted function

[nqthqn]

https://github.com/elm/html/blob/master/properties-vs-attributes.md