diff --git a/index.html b/index.html index 764aad54..246fe175 100644 --- a/index.html +++ b/index.html @@ -775,13 +775,30 @@

  • Let target be a new URL using targetURL as input. If target is failure, return false.
  • +
  • Let scopePath be the elements of scopes's + path, separated by + U+002F (/). +
  • +
  • Let targetPath be the elements of target's + path, separated by + U+002F (/). +
  • If target is same origin as scope and - target's pathname starts with - scope's pathname, return true. + targetPath starts with scopePath, return + true.
  • Otherwise, return false.
  • +
    + The URL string matching in this algorithm is prefix-based rather than + path-structural (e.g. a target URL string + /prefix-of/resource.html will match an app with scope + /prefix, even though the path segment name is not an exact + match). This is intentional for consistency with Service Workers. To + avoid unexpected behavior, use a scope ending in a /. +

    Enforcing the navigation scope depends on [[!HTML]]'s navigate