[scroll-animations-1] rename scroll-time-range to time-range

Author: majido

scroll-animations-1/Overview.bs

@@ -810,13 +810,13 @@ instead of document's scrolling Element
 
 
 <pre class='descdef'>
-  Name: scroll-time-range
+  Name: time-range
   For: @scroll-timeline
   Value: auto | <<time>>
   Initial: auto
 </pre>
 
-'scroll-time-range' descriptor determines the scroll timeline's {{timeRange}}.
+'time-range' descriptor determines the scroll timeline's {{timeRange}}.
 
 </div>  <!-- link-for-hint="ScrollTimeline" -->
 
@@ -830,7 +830,7 @@ interface CSSScrollTimelineRule : CSSRule {
     readonly attribute CSSOMString orientation;
     readonly attribute CSSOMString start;
     readonly attribute CSSOMString end;
-    readonly attribute CSSOMString scrollTimeRange;
+    readonly attribute CSSOMString timeRange;
 };
 </pre>
 
@@ -860,9 +860,9 @@ interface CSSScrollTimelineRule : CSSRule {
     The 'end' descriptor associated with the ''@scroll-timeline'', or "auto" if not specified.
   </dd>
 
-  <dt><dfn>scrollTimeRange</dfn></dt>
+  <dt><dfn>timeRange</dfn></dt>
   <dd>
-    The 'scroll-time-range' descriptor associated with the ''@scroll-timeline'', or "auto" if not specified.
+    The 'time-range' descriptor associated with the ''@scroll-timeline'', or "auto" if not specified.
   </dd>
 </dl>