diff --git a/source b/source index bf6b1fb9326..49e33c947eb 100644 --- a/source +++ b/source @@ -2603,7 +2603,7 @@ a.setAttribute('href', 'https://example.com/'); // change the content attribute
  • A local scheme
  • A fetch scheme
  • CORS protocol
  • -
  • default `User-Agent` value
  • +
  • environment default `User-Agent` value
  • extract a MIME type
  • legacy extract an encoding
  • fetch
  • @@ -121071,12 +121071,14 @@ interface Navigator { data-x="dom-navigator-appVersion">appVersion getter steps are:

      -
    1. If the default `User-Agent` - value does not start with `Mozilla/5.0 (`, then return the empty - string.

    2. +
    3. Let userAgent be this's relevant settings object's + environment default `User-Agent` + value.

    4. + +
    5. If userAgent does not start with `Mozilla/5.0 (`, then + return the empty string.

    6. -
    7. Let trail be the substring of the default `User-Agent` value,

      Let trail be the substring of userAgent, isomorphic decoded, that follows the "Mozilla/" prefix.

    8. @@ -121126,8 +121128,8 @@ interface Navigator {

      The userAgent - getter steps are to return the default `User-Agent` - value.

      + getter steps are to return this's relevant settings object's environment default `User-Agent` value.

      The vendor getter steps are to return the appropriate string from the following list: