From 47a80db070211368514873fc6fc626988c6c2209 Mon Sep 17 00:00:00 2001
From: Adam Rice <ricea@chromium.org>
Date: Wed, 31 Jan 2024 21:22:37 +0900
Subject: [PATCH] Editorial: Export definition "writable stream writer"

The "writable stream writer" definition is useful to the WebSocketStream
API standard text, so export it.
---
 index.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.bs b/index.bs
index 673cfcd5..bb77b84c 100644
--- a/index.bs
+++ b/index.bs
@@ -328,7 +328,7 @@ non-byte readable stream can only vend default readers. Default readers are inst
 {{ReadableStreamDefaultReader}} class, while BYOB readers are instances of
 {{ReadableStreamBYOBReader}}.
 
-Similarly, a <dfn lt="writer|writable stream writer">writable stream writer</dfn>, or simply
+Similarly, a <dfn export lt="writer|writable stream writer">writable stream writer</dfn>, or simply
 writer, is an object that allows direct writing of [=chunks=] to a [=writable stream=]. Without a
 writer, a [=producer=] can only perform the high-level operations of [=abort a writable
 stream|aborting=] the stream or [=piping=] a readable stream to the writable stream. Writers are