Add "Responsive Video" aka. `media` attribute for `<source>` element in `<video>`

[Schweinepriester]

• Spec:
  • Re-add <source media> for media elements whatwg/html#9341
  • https://html.spec.whatwg.org/#attr-source-media
• https://mastodon.social/@scottjehl@mstdn.social/111144562009519375
• https://scottjehl.com/posts/responsive-video/
• Tests (mentioned there^)
  • https://www.zachleat.com/test/media-on-video/video-media.html
  • https://scottjehl.com/sandbox/video-media/
• Safari: "Safari hung onto their support"
• Firefox: https://bugzilla.mozilla.org/show_bug.cgi?id=1836128
• Chrome: https://bugs.chromium.org/p/chromium/issues/detail?id=1450316

Like so (stolen from the blog post):

<video controls autoplay loop>
    <source src="large.mp4" type="video/mp4" media="(min-width: 600px)">
    <source src="small.mp4" type="video/mp4">
</video>

[Schweinepriester]

https://chromestatus.com/feature/5144127067127808

[its2easy]

it was enabled in chrome 120 and firefox 120