From c97f2989c9bd3e9bbca9b5a0f96a3ef029e7d7a0 Mon Sep 17 00:00:00 2001
From: Paul Adenot <paul@paul.cx>
Date: Tue, 12 Mar 2024 11:34:02 +0100
Subject: [PATCH] Switch to using WebIDL for detached, instead of directly ES

---
 index.src.html | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/index.src.html b/index.src.html
index 513b5d15..c27712cc 100644
--- a/index.src.html
+++ b/index.src.html
@@ -1916,8 +1916,8 @@
 1. If {{AudioDecoderConfig/codec}} is empty after
     [=strip leading and trailing ASCII whitespace|stripping leading and trailing ASCII whitespace=],
     return `false`.
-2. If the result of running  IsDetachedBuffer (described in
-    [[!ECMASCRIPT]]) on {{AudioDecoderConfig/description}} is `true`, return `false`.
+2. If {{AudioDecoderConfig/description}} is [[=BufferSource/detached=]], return
+     false.
 3. Return `true`.
 
 <dl>
@@ -1972,8 +1972,8 @@
     return `false`.
 5. If {{VideoDecoderConfig/displayAspectWidth}} = 0 or
     {{VideoDecoderConfig/displayAspectHeight}} = 0, return `false`.
-6. If the result of running  IsDetachedBuffer (described in
-    [[!ECMASCRIPT]]) on {{VideoDecoderConfig/description}} is `true`, return `false`.
+6. If {{VideoDecoderConfig/description}} is [[=BufferSource/detached=]],
+    return false.
 7. Return `true`.
 
 <dl>
@@ -5699,8 +5699,7 @@
 2. If |data| is of type {{ReadableStream}} and the ReadableStream is
     [=ReadableStream/disturbed=] or [=ReadableStream/locked=], return `false`.
 3. If |data| is of type {{BufferSource}}:
-    1. If the result of running  IsDetachedBuffer (described in
-        [[!ECMASCRIPT]]) on |data| is `true`, return `false`.
+    1. If |data| is [[=BufferSource/detached=]], return false.
     2. If |data| [=list/is empty=], return `false`.
 4. If {{ImageDecoderInit/desiredWidth}} [=map/exists=] and
     {{ImageDecoderInit/desiredHeight}} does not exist, return `false`.