@@ -844,10 +844,10 @@ <h3>
844
844
of another application. When the user agent sees a manifest where
845
845
|manifest|["id"] is [=url/equal=] with [=URL serializer/exclude
846
846
fragment|exclude fragment true=] to the [=identity=] of an
847
- already-installed application, it SHOULD be used as a signal that this
848
- manifest is a replacement for the already-installed application's
849
- manifest, and not a distinct application, even if it is served from a
850
- different URL than the one seen previously.
847
+ already-installed application, it SHOULD be used as a signal that
848
+ this manifest is a replacement for the already-installed
849
+ application's manifest, and not a distinct application, even if it is
850
+ served from a different URL than the one seen previously.
851
851
</ p >
852
852
< p class ="note ">
853
853
The [=identity=] can be used by a service that collects lists of web
@@ -1294,12 +1294,10 @@ <h3>
1294
1294
< li > [=Process the `id` member=] passing |json|, |manifest| and
1295
1295
|document URL|.
1296
1296
</ li >
1297
- < li >
1298
- If the [=document=]'s [=document|processed
1299
- manifest=] is not null, and [=document=]'s [=document|processed
1300
- manifest=]'s id is not
1301
- [=URL/equal=] with [=URL serializer/exclude fragment|exclude fragment true=] to |manifest|["id"],
1302
- return.
1297
+ < li > If the [=document=]'s [=document|processed manifest=] is not
1298
+ null, and [=document=]'s [=document|processed manifest=]'s id is
1299
+ not [=URL/equal=] with [=URL serializer/exclude fragment|exclude
1300
+ fragment true=] to |manifest|["id"], return.
1303
1301
</ li >
1304
1302
< li > [=Process the `scope` member=] passing |json|, |manifest|, and
1305
1303
|manifest URL|.
0 commit comments