Editorial: Remove [Padded] parameterization from Hour production

All uses of Hour[~Padded] were removed as of #2608. Only Hour[+Padded] remains.
tc39 · Jan 22, 2024 · ae85b3c · ae85b3c
1 parent 5b1c732
commit ae85b3c
Showing 1 changed file with 8 additions and 9 deletions.
diff --git a/spec/abstractops.html b/spec/abstractops.html
@@ -1081,9 +1081,8 @@ <h1>ISO 8601 grammar</h1>
           ASCIISign
           U+2212
 
-      Hour[Padded] :::
-          [~Padded] DecimalDigit
-          [+Padded] `0` DecimalDigit
+      Hour :::
+          `0` DecimalDigit
           `1` DecimalDigit
           `20`
           `21`
@@ -1178,7 +1177,7 @@ <h1>ISO 8601 grammar</h1>
           DateYear DateMonth DateDay
 
       TimeHour :::
-          Hour[+Padded]
+          Hour
 
       TimeMinute :::
           MinuteSecond
@@ -1203,15 +1202,15 @@ <h1>ISO 8601 grammar</h1>
           Fraction
 
       UTCOffsetWithSubMinuteComponents[Extended] :::
-          Sign Hour[+Padded] TimeSeparator[?Extended] MinuteSecond TimeSeparator[?Extended] MinuteSecond Fraction?
+          Sign Hour TimeSeparator[?Extended] MinuteSecond TimeSeparator[?Extended] MinuteSecond Fraction?
 
       NormalizedUTCOffset :::
-          ASCIISign Hour[+Padded] `:` MinuteSecond
+          ASCIISign Hour `:` MinuteSecond
 
       UTCOffsetMinutePrecision :::
-          Sign Hour[+Padded]
-          Sign Hour[+Padded] TimeSeparator[+Extended] MinuteSecond
-          Sign Hour[+Padded] TimeSeparator[~Extended] MinuteSecond
+          Sign Hour
+          Sign Hour TimeSeparator[+Extended] MinuteSecond
+          Sign Hour TimeSeparator[~Extended] MinuteSecond
 
       UTCOffsetSubMinutePrecision :::
           UTCOffsetMinutePrecision