- From: Daniel Murphy <notifications@github.com>
- Date: Tue, 17 Aug 2021 09:50:59 -0700
- To: w3c/manifest <manifest@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 17 August 2021 16:51:12 UTC
@dmurph commented on this pull request. > @@ -0,0 +1,16 @@ +{ delete this file from checkout? > + application. When the user agent sees a manifest with an |identity| + matching that of an already-installed application, it SHOULD be used as + a signal that this manifest is a replacement for the already-installed + application's manifest, and not a distinct application, even if it is + served from a different URL than the one seen previously. + </p> + <p> + The |identity| MAY be used by a service that collects lists of web + applications to uniquely identify applications. + </p> + <p> + To <dfn>process the `id` member</dfn>, given [=object=] + |json:JSON|, [=ordered map=] |manifest:ordered map|: + </p> + <ol class="algorithm"> + <li>Set |manifest|["id"] to |manifest|["start_url"]. I agree we should resolve this before submitting this pull request. I think there are a couple ideas that @marcoscaceres is playing with which are looking good. (#670 and #991) -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/manifest/pull/988#pullrequestreview-732002227
Received on Tuesday, 17 August 2021 16:51:12 UTC