[webkit-changes] [WebKit/WebKit] e50486: Sync 'audio', 'video' and 'media' element interfac...

[Ahmad Saleem]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: e504863ab9a6dc92fa4d25fd14fac58055af07d4
      https://github.com/WebKit/WebKit/commit/e504863ab9a6dc92fa4d25fd14fac58055af07d4
  Author: Ahmad Saleem <ahmad.saleem792+github at gmail.com>
  Date:   2023-08-25 (Fri, 25 Aug 2023)

  Changed paths:
    M Source/WebCore/html/HTMLAudioElement.idl
    M Source/WebCore/html/HTMLMediaElement.idl
    M Source/WebCore/html/HTMLVideoElement.idl

  Log Message:
  -----------
  Sync 'audio', 'video' and 'media' element interfaces with WebIDL Spec

https://bugs.webkit.org/show_bug.cgi?id=260740

Reviewed by Eric Carlson and Chris Dumez.

This patch is to add 'interface' web-spec links to relevant 'audio' , 'media'
and 'video' files. Additionally do minor sync-up (i.e., adding missing ?) and
add 'FIXME' where applicable for future work.

* Source/WebCore/html/HTMLAudioElement.idl:
* Source/WebCore/html/HTMLMediaElement.idl:
* Source/WebCore/html/HTMLVideoElement.idl:

Canonical link: https://commits.webkit.org/267320@main