Add MIME type definition to web custom formats.

w3c · Oct 12, 2023 · 820ee56 · 820ee56
1 parent 0b32e56
commit 820ee56
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/index.bs b/index.bs
@@ -539,7 +539,9 @@ url: https://w3c.github.io/permissions/#permissions-task-source; type: dfn;
 
 			* text/uri-list
 			* image/svg+xml
-			* Custom format [=starts with=] "web "("web" followed by U+0020 SPACE) prefix.
+			* Custom format [=starts with=] "web "("web" followed by U+0020 SPACE) prefix
+				and suffix (after stripping out "web "("web" followed by U+0020 SPACE)) is a valid
+				[=/MIME type=].
 
 
 <h2 id="async-clipboard-api">Asynchronous Clipboard API</h2>