Accept options in history APIs to allow scroll restoration to be disabled

LayoutTests/fast/dom/Window/resources/window-property-collector.js

Index: LayoutTests/fast/dom/Window/resources/window-property-collector.js
diff --git a/LayoutTests/fast/dom/Window/resources/window-property-collector.js b/LayoutTests/fast/dom/Window/resources/window-property-collector.js
index 0e1a698c6e2fe01afe4f2ba46115ef6ebf9e7a81..503627edcad469ece1cca946564bf2cd8e3f451e 100644
--- a/LayoutTests/fast/dom/Window/resources/window-property-collector.js
+++ b/LayoutTests/fast/dom/Window/resources/window-property-collector.js
@@ -75,6 +75,9 @@ function emitExpectedResult(path, expected)
     case "screen.orientation":
         expected = "'portrait-primary'";
         break;
+    case "history.options.scrollRestoration":
+        expected = "'auto'";
+        break;
     }
 
     insertExpectedResult(path, expected);