- From: snianu <notifications@github.com>
- Date: Fri, 20 Oct 2023 15:52:31 -0700
- To: w3c/clipboard-apis <clipboard-apis@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 20 October 2023 22:52:40 UTC
@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