Allow numbers in pageRanges

lutien · jgraham · commit b3fd58d013ff · 2023-02-27T10:14:41.000Z
diff --git a/index.bs b/index.bs
@@ -3458,7 +3458,7 @@ PDF document represented as a Base64-encoded string.
         ?margin: browsingContext.PrintMarginParameters,
         ?orientation: ("portrait" / "landscape") .default "portrait",
         ?page: browsingContext.PrintPageParameters,
-        ?pageRanges: [*text],
+        ?pageRanges: [*(js-uint / text)],
         ?scale: 0.1..2.0 .default 1.0,
         ?shrinkToFit: bool .default true,
       }

Original file line number	Diff line number	Diff line change
`@@ -3458,7 +3458,7 @@ PDF document represented as a Base64-encoded string.`
`3458`	`3458`	`?margin: browsingContext.PrintMarginParameters,`
`3459`	`3459`	`?orientation: ("portrait" / "landscape") .default "portrait",`
`3460`	`3460`	`?page: browsingContext.PrintPageParameters,`
`3461`		`- ?pageRanges: [*text],`
	`3461`	`+ ?pageRanges: [*(js-uint / text)],`
`3462`	`3462`	`?scale: 0.1..2.0 .default 1.0,`
`3463`	`3463`	`?shrinkToFit: bool .default true,`
`3464`	`3464`	`}`