diff --git a/source b/source index acdfa3123cb..86b63c6acf9 100644 --- a/source +++ b/source @@ -25037,11 +25037,29 @@ document.body.appendChild(wbr);
There is no default type for resources given by the manifest
keyword.
The appropriate time to fetch and process the linked resource for this link type
- is when the user agent deems it necessary. For example, when the user chooses to install the web application. In that case, only the
- first link
element in tree order whose rel
attribute contains the token When a web application is not installed, the
+ appropriate time to fetch and process the linked resource for this link type is when
+ the user agent deems it necessary. For example, when the user chooses to install the web application.
For an installed web application, the + appropriate times to fetch and process the linked resource for this link type + are:
+ +When the external resource link is created on a link
element
+ that is already browsing-context connected.
When the external resource link's link
element becomes
+ browsing-context connected.
When the href
attribute of the link
+ element of an external resource link that is already browsing-context
+ connected is changed.
In either cases, only the first link
element in tree order whose
+ rel
attribute contains the token manifest
may be used.
A user agent must not delay the load event for this link type.