From 6879d5257a2bf91757008858d0d8e9103b7d6c56 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Daoust?= Date: Mon, 13 May 2024 12:00:08 +0200 Subject: [PATCH] Editorial: Fix references to ``, and a few other concepts (#326) The spec re-defined the `` element with an incorrect fragment. This update uses Bikeshed's "link defaults" mechanism instead to fix the broken link. This would close #324. The spec also re-defined a couple of terms that did not need to be re-defined (since the HTML spec already exports them). Links to Media Capture and Streams also needed fixing. These issues were reported by Bikeshed during build as warnings. One problem remains: the reference to "nested browsing contexts" is invalid, see #325. --- index.bs | 32 +++++++++++++++----------------- 1 file changed, 15 insertions(+), 17 deletions(-) diff --git a/index.bs b/index.bs index dd99184..d09d212 100644 --- a/index.bs +++ b/index.bs @@ -48,19 +48,17 @@ table td, table th { } + +
 urlPrefix: https://html.spec.whatwg.org/multipage/; spec: HTML
-    type:element; text:link
     type: dfn
-        urlPrefix: media.html
-            text: muted; url: #concept-media-muted
-            text: potentially playing
         urlPrefix: webappapis.html
             text: entry settings object
         urlPrefix: interaction.html
             text: activation notification
-    type: dfn;
-        text: force Origin header flag
 

Introduction

@@ -167,10 +165,10 @@ platform UI or media keys, thereby improving the user experience. playback state is to monitor the media elements whose node document's [=Document/browsing context=] is the [=/browsing context=]. The [=/browsing context=]'s guessed playback state is - {{MediaSessionPlaybackState/"playing"}} if any of them is potentially - playing and not muted, and is paused otherwise. Other information - SHOULD also be considered, such as WebAudio and plugins. + {{MediaSessionPlaybackState/"playing"}} if any of them is + [=media element/potentially playing=] and not [=media element/muted=], + and is {{MediaSessionPlaybackState/"paused"}} otherwise. Other + information SHOULD also be considered, such as WebAudio and plugins.

@@ -263,7 +261,7 @@ platform UI or media keys, thereby improving the user experience. active media session.

  • - If the user agent wants to display an artwork image, it is + If the user agent wants to display an [=MediaMetadata/artwork image=], it is RECOMMENDED to run the fetch image algorithm.
  • @@ -530,13 +528,13 @@ platform UI or media keys, thereby improving the user experience. provided for the active media session.

    - A user agent MAY expose microphone and camera state to web pages via - MediaStreamTrack muted state in addition to - {{MediaSessionAction/togglemicrophone}} or + A user agent MAY expose microphone and camera state to web pages via + {{MediaStreamTrack}}'s {{MediaStreamTrack/muted}} attribute in addition + to {{MediaSessionAction/togglemicrophone}} or {{MediaSessionAction/togglecamera}} [=media session action=]. In that case, the user agent MUST execute the corresponding {{MediaSessionActionHandler}} before running, as different tasks, the - steps defined to [=set MediaStreamTrack muted state=]. + steps defined to [$set a track's muted state$].

    @@ -967,9 +965,9 @@ interface MediaSession { active is false and false otherwise.

  • - For each [=MediaStreamTrack=] whose source is of type + For each {{MediaStreamTrack}} whose source is of type captureKind, - queue a task to [=set MediaStreamTrack muted state=] to + queue a task to [$set a track's muted state$] to newMutedState.