Re: [w3c/clipboard-apis] Add 'starts with' to web custom format prefix. (PR #195)

@snianu commented on this pull request.



> @@ -1695,7 +1697,7 @@ url: https://w3c.github.io/permissions/#permissions-task-source; type: dfn;
 
     1. Let |webCustomFormat| be an empty {{Blob/type}}.
 
-    1. If |webCustomFormatString| has "web "("web" followed by U+0020 SPACE) prefix, then remove the "web " prefix and store the remaining string in |webCustomFormat|'s {{Blob/type}}'s [=MIME type/essence=], else abort all steps.
+    1. If |webCustomFormatString| [string/starts with=] "web "("web" followed by U+0020 SPACE) prefix, then remove the "web " prefix and store the remaining string in |webCustomFormat|'s {{Blob/type}}'s [=MIME type/essence=], else abort all steps.

Added MIME type parsing checks. Thanks!

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/clipboard-apis/pull/195#discussion_r1367535929
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/clipboard-apis/pull/195/review/1690977713@github.com>

Received on Friday, 20 October 2023 22:52:40 UTC