- From: Marcos Cáceres <notifications@github.com>
- Date: Wed, 29 Mar 2023 16:42:47 -0700
- To: w3c/manifest <manifest@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 29 March 2023 23:42:59 UTC
@marcoscaceres commented on this pull request.
> @@ -2916,9 +2916,26 @@ <h3>
</h3>
<p>
Although proprietary extensions are undesirable, they can't
- realistically be avoided. As such, the RECOMMENDED way to add a new
- proprietary manifest member as an extension is to use a vendor
- prefix.
+ realistically be avoided. If a user agent chooses to interpret a
+ member in the manifest JSON which is not specified in this document,
```suggestion
member in the manifest JSON that is not specified in this document,
```
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/manifest/pull/1073#pullrequestreview-1364119139
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/manifest/pull/1073/review/1364119139@github.com>
Received on Wednesday, 29 March 2023 23:42:59 UTC