From bfca9ef35a3b03563a610adc4e4e4fac3f12fbad Mon Sep 17 00:00:00 2001 From: Phillis Tang Date: Thu, 15 Jul 2021 13:32:08 -0700 Subject: [PATCH] add example --- index.html | 24 +++++++++++------------- 1 file changed, 11 insertions(+), 13 deletions(-) diff --git a/index.html b/index.html index eb5095282..871b5bc07 100644 --- a/index.html +++ b/index.html @@ -824,32 +824,30 @@

To process the `id` member, given [=object=] - |json:JSON|, [=ordered map=] |manifest:ordered map|, and [=URL=] - |document URL:URL|: + |json:JSON|, [=ordered map=] |manifest:ordered map|.:

  1. If the type of |json|["id"] is not [=string=], return.
  2. -
  3. If |json|["start_url"] is the empty string, return. -
  4. Let |id:URL| be the result of [=URL Parser|parsing=] - |json|["id"], using the origin of document URL as the base URL. + (start URL's origin + "/" + |json|["id"]).
  5. If |id| is failure, return.
  6. -
  7. If |id| is not same origin as document - URL, return. -
  8. Otherwise, set |manifest|["id"] to |start URL|.