GitHub repository: video-dev/media-ui-extensions
Created: 2021-10-04T22:37:15Z
Description: Extending the HTMLVideoElement API to support advanced player user-interface features