Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Missed a spot that should use HTMLMediaElement's potentially playing definition #1025

Merged
merged 3 commits into from
Dec 19, 2024
Merged

Missed a spot that should use HTMLMediaElement's potentially playing definition #1025

Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
317d586
Missed a spot that should use HTMLMediaElement's potentially playing …
jan-ivar Dec 13, 2024
d7d5050
s/stream/element/
jan-ivar Dec 13, 2024
83e2e36
use bikeshed
jan-ivar Dec 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions getusermedia.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2418,8 +2418,8 @@ <h2>MediaStreams in Media Elements</h2>
</td>
<td>{{double}}</td>
<td>Any non-negative integer. The initial value is <code>0</code> and
the values increments linearly in real time whenever the stream is
playing.</td>
the values increments linearly in real time whenever the element is
<a data-cite="!HTML/#potentially-playing">potentially playing</a>.</td>
jan-ivar marked this conversation as resolved.
Show resolved Hide resolved
<td>
The value is the <a data-cite=
"!HTML/#official-playback-position">
Expand Down