From 51bcbc1ff18e68047f37d0b1c8db299d10e7c038 Mon Sep 17 00:00:00 2001
From: Thiago Perrotta <tperrotta@chromium.org>
Date: Mon, 6 Nov 2023 17:44:30 +0100
Subject: [PATCH] editorial: export more definitions for extension modules

So that they can be referenced from other specs.

Bug: #506
Bug: #587
Bug: https://github.com/w3c/permissions/pull/425
---
 index.bs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.bs b/index.bs
index 0cb9fa68..03f5e244 100644
--- a/index.bs
+++ b/index.bs
@@ -325,7 +325,7 @@ protocol. These terms are distinct from their representation at the
 
 The protocol is defined using a [[!RFC8610|CDDL]] definition. For the
 convenience of implementors two separate CDDL definitions are defined; the
-<dfn>remote end definition</dfn> which defines the format of messages produced
+<dfn export>remote end definition</dfn> which defines the format of messages produced
 on the [=local end=] and consumed on the [=remote end=], and the <dfn>local end
 definition</dfn> which defines the format of messages produced on the [=remote end=]
 and consumed on the [=local end=]
@@ -1920,7 +1920,7 @@ associated WebDriver [=window handle=] the [=/browsing context id=] must be the
 same as the [=window handle=].
 
 <div algorithm>
-To <dfn>get a browsing context</dfn> given |context id|:
+To <dfn export>get a browsing context</dfn> given |context id|:
 
 1. If |context id| is null, return [=success=] with data null.