Need to export navigation URL (possibly more)

annevk · annevk · commit 80c3214ec81c · 2024-11-06T15:18:21.000+01:00
diff --git a/notifications.bs b/notifications.bs
@@ -60,8 +60,8 @@ or "<code>rtl</code>").
 <p>A <a for=/>notification</a> has an associated <dfn for=notification id=body>body</dfn> (a
 string).
 
-<p>A <a for=/>notification</a> has an associated <dfn for=notification>navigation URL</dfn> (null or
-a <a for=/>URL</a>). It is initially null.
+<p>A <a for=/>notification</a> has an associated <dfn export for=notification>navigation URL</dfn>
+(null or a <a for=/>URL</a>). It is initially null.
 
 <p>A <a for=/>notification</a> has an associated <dfn for=notification id=tag>tag</dfn> (a string).
 
