From ca5dff30531ca77fb5e305f39ba798c3e234bcb9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aki=20=F0=9F=8C=B9?= Date: Mon, 27 May 2024 22:18:19 -0700 Subject: [PATCH] Just a little subtle cleanup of the markup to get 402 ready for easy publication. --- img/ecma-header.svg | 1 + spec/annexes.html | 2 +- spec/datetimeformat.html | 119 +++++++++++++++++++++------------------ spec/index.html | 24 -------- spec/listformat.html | 2 +- 5 files changed, 66 insertions(+), 82 deletions(-) create mode 100644 img/ecma-header.svg diff --git a/img/ecma-header.svg b/img/ecma-header.svg new file mode 100644 index 00000000..5eaffa9d --- /dev/null +++ b/img/ecma-header.svg @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/spec/annexes.html b/spec/annexes.html index 41c70a56..656dcf57 100644 --- a/spec/annexes.html +++ b/spec/annexes.html @@ -183,7 +183,7 @@

Additions and Changes That Introduce Incompatibilities with Prior Editions In ECMA-402, 1st Edition, the *"length"* property of the function object _F_ was set to *+0*𝔽. In 2nd Edition, *"length"* is set to *1*𝔽.
  • - In ECMA-402, 7th Edition, the @@toStringTag property of `Intl.Collator.prototype` was set to *"Object"*. In 8th Edition, @@toStringTag is set to *"Intl.Collator"*. + In ECMA-402, 7th Edition, the @@toStringTag property of `Intl.Collator.prototype` was set to *"Object"*. In 8th Edition, @@toStringTag is set to *"Intl.Collator"*.
  • In ECMA-402, 7th Edition, the @@toStringTag property of `Intl.DateTimeFormat.prototype` was set to *"Object"*. In 8th Edition, @@toStringTag is set to *"Intl.DateTimeFormat"*. diff --git a/spec/datetimeformat.html b/spec/datetimeformat.html index ba9a1ad2..61ebc667 100644 --- a/spec/datetimeformat.html +++ b/spec/datetimeformat.html @@ -780,65 +780,71 @@

    DateTime Style Range Records

  • [[minute]]: *"numeric"*
  • [[pattern]]: *"{hour}:{minute}"*
  • [[pattern12]]: *"{hour}:{minute} {ampm}"*
  • -
  • [[rangePatterns]]:
  • - +
  • [[rangePatterns]]: +
      +
    • [[Hour]]:
        +
      • [[hour]]: *"numeric"*
      • +
      • [[minute]]: *"numeric"*
      • +
      • [[PatternParts]]: +
          +
        • {[[Source]]: *"startRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • +
        • {[[Source]]: *"shared"*, [[Pattern]]: *" – "*}
        • +
        • {[[Source]]: *"endRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • +
        +
      • +
    • +
    • [[Minute]]:
        +
      • [[hour]]: *"numeric"*
      • +
      • [[minute]]: *"numeric"*
      • +
      • [[PatternParts]]: +
          +
        • {[[Source]]: *"startRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • +
        • {[[Source]]: *"shared"*, [[Pattern]]: *" – "*}
        • +
        • {[[Source]]: *"endRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • +
        +
      • +
    • +
    • [[Default]]:
        +
      • [[year]]: *"2-digit"*
      • +
      • [[month]]: *"numeric"*
      • +
      • [[day]]: *"numeric"*
      • +
      • [[hour]]: *"numeric"*
      • +
      • [[minute]]: *"numeric"*
      • +
      • [[PatternParts]]: +
          +
        • {[[Source]]: *"startRange"*, [[Pattern]]: *"{day}/{month}/{year}, {hour}:{minute}"*}
        • +
        • {[[Source]]: *"shared"*, [[Pattern]]: *" – "*}
        • +
        • {[[Source]]: *"endRange"*, [[Pattern]]: *"{day}/{month}/{year}, {hour}:{minute}"*}
        • +
        +
      • +
    • +
    +
  • [[rangePatterns12]]:
    • [[Hour]]:
      • [[hour]]: *"numeric"*
      • [[minute]]: *"numeric"*
      • -
      • [[PatternParts]]:
      • -
          -
        • {[[Source]]: *"startRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • -
        • {[[Source]]: *"shared"*, [[Pattern]]: *" – "*}
        • -
        • {[[Source]]: *"endRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • -
        • {[[Source]]: *"shared"*, [[Pattern]]: *" {ampm}"*}
        • -
        +
      • [[PatternParts]]: +
          +
        • {[[Source]]: *"startRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • +
        • {[[Source]]: *"shared"*, [[Pattern]]: *" – "*}
        • +
        • {[[Source]]: *"endRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • +
        • {[[Source]]: *"shared"*, [[Pattern]]: *" {ampm}"*}
        • +
        +
    • [[Minute]]:
      • [[hour]]: *"numeric"*
      • [[minute]]: *"numeric"*
      • -
      • [[PatternParts]]:
      • -
          -
        • {[[Source]]: *"startRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • -
        • {[[Source]]: *"shared"*, [[Pattern]]: *" – "*}
        • -
        • {[[Source]]: *"endRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • -
        • {[[Source]]: *"shared"*, [[Pattern]]: *" {ampm}"*}
        • -
        +
      • [[PatternParts]]: +
          +
        • {[[Source]]: *"startRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • +
        • {[[Source]]: *"shared"*, [[Pattern]]: *" – "*}
        • +
        • {[[Source]]: *"endRange"*, [[Pattern]]: *"{hour}:{minute}"*}
        • +
        • {[[Source]]: *"shared"*, [[Pattern]]: *" {ampm}"*}
        • +
        +
    • [[Default]]:
      • [[year]]: *"2-digit"*
      • @@ -846,12 +852,13 @@

        DateTime Style Range Records

      • [[day]]: *"numeric"*
      • [[hour]]: *"numeric"*
      • [[minute]]: *"numeric"*
      • -
      • [[PatternParts]]:
      • -
          -
        • {[[Source]]: *"startRange"*, [[Pattern]]: *"{day}/{month}/{year}, {hour}:{minute} {ampm}"*}
        • -
        • {[[Source]]: *"shared"*, [[Pattern]]: *" – "*}
        • -
        • {[[Source]]: *"endRange"*, [[Pattern]]: *"{day}/{month}/{year}, {hour}:{minute} {ampm}"*}
        • -
        +
      • [[PatternParts]]: +
          +
        • {[[Source]]: *"startRange"*, [[Pattern]]: *"{day}/{month}/{year}, {hour}:{minute} {ampm}"*}
        • +
        • {[[Source]]: *"shared"*, [[Pattern]]: *" – "*}
        • +
        • {[[Source]]: *"endRange"*, [[Pattern]]: *"{day}/{month}/{year}, {hour}:{minute} {ampm}"*}
        • +
        +
  • diff --git a/spec/index.html b/spec/index.html index 23f17bbf..6a0b77c4 100644 --- a/spec/index.html +++ b/spec/index.html @@ -9,30 +9,6 @@ }