Renders an audio or video file with the site's own controls. GlobalPlayer plays files and streams in it; the file previews of the dump pages and of the dump form play a file in it.

Functions

f
MediaPlayer(unnamed 0: MediaPlayerProps): React.JSX.Element

Renders a media element with the site's own controls. Audio seeks on its waveform when it has one; video gets a slim bar, a fullscreen button, and controls that hide while it plays. Whether it plays is read from the element's own events, so a media key or the OS's controls show too. The volume carries over to the next MediaPlayer, which matters since GlobalPlayer mounts a new one for each track.

Interfaces

I
MediaPlayerProps

Passed to MediaPlayer by GlobalPlayer, which wires the callbacks and the handles to PlayerContext, and by the file previews, which pass only the media.