Skip to content

Commit 6ff7150

Browse files
author
reffy-bot
committed
Update of ED report from new reffy run
Using reffy commit 19.1.2.
1 parent 9521ccd commit 6ff7150

File tree

9 files changed

+1498
-1019
lines changed

9 files changed

+1498
-1019
lines changed

ed/algorithms/webdriver-bidi.json

Lines changed: 468 additions & 346 deletions
Large diffs are not rendered by default.

ed/cddl/webdriver-bidi-all.cddl

Lines changed: 26 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -805,7 +805,8 @@ browsingContext.UserPromptOpenedParameters = {
805805
EmulationCommand = (
806806
emulation.SetGeolocationOverride //
807807
emulation.SetLocaleOverride //
808-
emulation.SetScreenOrientationOverride
808+
emulation.SetScreenOrientationOverride //
809+
emulation.SetTimezoneOverride
809810
)
810811

811812
emulation.SetGeolocationOverride = (
@@ -866,6 +867,17 @@ emulation.SetScreenOrientationOverrideParameters = {
866867
? userContexts: [+browser.UserContext],
867868
}
868869

870+
emulation.SetTimezoneOverride = (
871+
method: "emulation.setTimezoneOverride",
872+
params: emulation.SetTimezoneOverrideParameters
873+
)
874+
875+
emulation.SetTimezoneOverrideParameters = {
876+
timezone: text / null,
877+
? contexts: [+browsingContext.BrowsingContext],
878+
? userContexts: [+browser.UserContext],
879+
}
880+
869881
NetworkCommand = (
870882
network.AddDataCollector //
871883
network.AddIntercept //
@@ -2668,7 +2680,8 @@ browsingContext.TraverseHistoryParameters = {
26682680
EmulationCommand = (
26692681
emulation.SetGeolocationOverride //
26702682
emulation.SetLocaleOverride //
2671-
emulation.SetScreenOrientationOverride
2683+
emulation.SetScreenOrientationOverride //
2684+
emulation.SetTimezoneOverride
26722685
)
26732686

26742687
emulation.SetGeolocationOverride = (
@@ -2729,6 +2742,17 @@ emulation.SetScreenOrientationOverrideParameters = {
27292742
? userContexts: [+browser.UserContext],
27302743
}
27312744

2745+
emulation.SetTimezoneOverride = (
2746+
method: "emulation.setTimezoneOverride",
2747+
params: emulation.SetTimezoneOverrideParameters
2748+
)
2749+
2750+
emulation.SetTimezoneOverrideParameters = {
2751+
timezone: text / null,
2752+
? contexts: [+browsingContext.BrowsingContext],
2753+
? userContexts: [+browser.UserContext],
2754+
}
2755+
27322756
NetworkCommand = (
27332757
network.AddDataCollector //
27342758
network.AddIntercept //

ed/cddl/webdriver-bidi-local-cddl.cddl

Lines changed: 13 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1684,7 +1684,8 @@ browsingContext.TraverseHistoryParameters = {
16841684
EmulationCommand = (
16851685
emulation.SetGeolocationOverride //
16861686
emulation.SetLocaleOverride //
1687-
emulation.SetScreenOrientationOverride
1687+
emulation.SetScreenOrientationOverride //
1688+
emulation.SetTimezoneOverride
16881689
)
16891690

16901691
emulation.SetGeolocationOverride = (
@@ -1745,6 +1746,17 @@ emulation.SetScreenOrientationOverrideParameters = {
17451746
? userContexts: [+browser.UserContext],
17461747
}
17471748

1749+
emulation.SetTimezoneOverride = (
1750+
method: "emulation.setTimezoneOverride",
1751+
params: emulation.SetTimezoneOverrideParameters
1752+
)
1753+
1754+
emulation.SetTimezoneOverrideParameters = {
1755+
timezone: text / null,
1756+
? contexts: [+browsingContext.BrowsingContext],
1757+
? userContexts: [+browser.UserContext],
1758+
}
1759+
17481760
NetworkCommand = (
17491761
network.AddDataCollector //
17501762
network.AddIntercept //

ed/cddl/webdriver-bidi-remote-cddl.cddl

Lines changed: 26 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -487,7 +487,8 @@ browsingContext.TraverseHistoryParameters = {
487487
EmulationCommand = (
488488
emulation.SetGeolocationOverride //
489489
emulation.SetLocaleOverride //
490-
emulation.SetScreenOrientationOverride
490+
emulation.SetScreenOrientationOverride //
491+
emulation.SetTimezoneOverride
491492
)
492493

493494
emulation.SetGeolocationOverride = (
@@ -548,6 +549,17 @@ emulation.SetScreenOrientationOverrideParameters = {
548549
? userContexts: [+browser.UserContext],
549550
}
550551

552+
emulation.SetTimezoneOverride = (
553+
method: "emulation.setTimezoneOverride",
554+
params: emulation.SetTimezoneOverrideParameters
555+
)
556+
557+
emulation.SetTimezoneOverrideParameters = {
558+
timezone: text / null,
559+
? contexts: [+browsingContext.BrowsingContext],
560+
? userContexts: [+browser.UserContext],
561+
}
562+
551563
NetworkCommand = (
552564
network.AddDataCollector //
553565
network.AddIntercept //
@@ -2023,7 +2035,8 @@ browsingContext.TraverseHistoryParameters = {
20232035
EmulationCommand = (
20242036
emulation.SetGeolocationOverride //
20252037
emulation.SetLocaleOverride //
2026-
emulation.SetScreenOrientationOverride
2038+
emulation.SetScreenOrientationOverride //
2039+
emulation.SetTimezoneOverride
20272040
)
20282041

20292042
emulation.SetGeolocationOverride = (
@@ -2084,6 +2097,17 @@ emulation.SetScreenOrientationOverrideParameters = {
20842097
? userContexts: [+browser.UserContext],
20852098
}
20862099

2100+
emulation.SetTimezoneOverride = (
2101+
method: "emulation.setTimezoneOverride",
2102+
params: emulation.SetTimezoneOverrideParameters
2103+
)
2104+
2105+
emulation.SetTimezoneOverrideParameters = {
2106+
timezone: text / null,
2107+
? contexts: [+browsingContext.BrowsingContext],
2108+
? userContexts: [+browser.UserContext],
2109+
}
2110+
20872111
NetworkCommand = (
20882112
network.AddDataCollector //
20892113
network.AddIntercept //

ed/dfns/webdriver-bidi.json

Lines changed: 220 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8192,6 +8192,26 @@
81928192
"definedIn": "prose",
81938193
"links": []
81948194
},
8195+
{
8196+
"id": "timezone-overrides-map",
8197+
"href": "https://w3c.github.io/webdriver-bidi/#timezone-overrides-map",
8198+
"linkingText": [
8199+
"timezone overrides map"
8200+
],
8201+
"localLinkingText": [],
8202+
"type": "dfn",
8203+
"for": [],
8204+
"access": "private",
8205+
"informative": false,
8206+
"heading": {
8207+
"id": "module-browsingContext-definition",
8208+
"href": "https://w3c.github.io/webdriver-bidi/#module-browsingContext-definition",
8209+
"title": "Definition",
8210+
"number": "7.3.1"
8211+
},
8212+
"definedIn": "prose",
8213+
"links": []
8214+
},
81958215
{
81968216
"id": "unhandled-prompt-behavior-overrides-map",
81978217
"href": "https://w3c.github.io/webdriver-bidi/#unhandled-prompt-behavior-overrides-map",
@@ -17060,6 +17080,206 @@
1706017080
"definedIn": "prose",
1706117081
"links": []
1706217082
},
17083+
{
17084+
"id": "commands-emulationsettimezoneoverride",
17085+
"href": "https://w3c.github.io/webdriver-bidi/#commands-emulationsettimezoneoverride",
17086+
"linkingText": [
17087+
"emulation.setTimezoneOverride"
17088+
],
17089+
"localLinkingText": [],
17090+
"type": "dfn",
17091+
"for": [
17092+
"commands"
17093+
],
17094+
"access": "public",
17095+
"informative": false,
17096+
"heading": {
17097+
"id": "command-emulation-setTimezoneOverride",
17098+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
17099+
"title": "The emulation.setTimezoneOverride Command",
17100+
"number": "7.4.2.4"
17101+
},
17102+
"definedIn": "prose",
17103+
"links": []
17104+
},
17105+
{
17106+
"id": "cddl-type-emulationsettimezoneoverride",
17107+
"href": "https://w3c.github.io/webdriver-bidi/#cddl-type-emulationsettimezoneoverride",
17108+
"linkingText": [
17109+
"emulation.SetTimezoneOverride"
17110+
],
17111+
"localLinkingText": [],
17112+
"type": "cddl-type",
17113+
"for": [],
17114+
"access": "private",
17115+
"informative": false,
17116+
"heading": {
17117+
"id": "command-emulation-setTimezoneOverride",
17118+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
17119+
"title": "The emulation.setTimezoneOverride Command",
17120+
"number": "7.4.2.4"
17121+
},
17122+
"definedIn": "pre",
17123+
"links": []
17124+
},
17125+
{
17126+
"id": "cddl-key-emulationsettimezoneoverride-method",
17127+
"href": "https://w3c.github.io/webdriver-bidi/#cddl-key-emulationsettimezoneoverride-method",
17128+
"linkingText": [
17129+
"method",
17130+
"\"method\""
17131+
],
17132+
"localLinkingText": [],
17133+
"type": "cddl-key",
17134+
"for": [
17135+
"emulation.SetTimezoneOverride"
17136+
],
17137+
"access": "private",
17138+
"informative": false,
17139+
"heading": {
17140+
"id": "command-emulation-setTimezoneOverride",
17141+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
17142+
"title": "The emulation.setTimezoneOverride Command",
17143+
"number": "7.4.2.4"
17144+
},
17145+
"definedIn": "pre",
17146+
"links": []
17147+
},
17148+
{
17149+
"id": "cddl-value-emulationsettimezoneoverride-method-emulationsettimezoneoverride",
17150+
"href": "https://w3c.github.io/webdriver-bidi/#cddl-value-emulationsettimezoneoverride-method-emulationsettimezoneoverride",
17151+
"linkingText": [
17152+
"emulation.setTimezoneOverride",
17153+
"\"emulation.setTimezoneOverride\""
17154+
],
17155+
"localLinkingText": [],
17156+
"type": "cddl-value",
17157+
"for": [
17158+
"emulation.SetTimezoneOverride/method"
17159+
],
17160+
"access": "private",
17161+
"informative": false,
17162+
"heading": {
17163+
"id": "command-emulation-setTimezoneOverride",
17164+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
17165+
"title": "The emulation.setTimezoneOverride Command",
17166+
"number": "7.4.2.4"
17167+
},
17168+
"definedIn": "pre",
17169+
"links": []
17170+
},
17171+
{
17172+
"id": "cddl-key-emulationsettimezoneoverride-params",
17173+
"href": "https://w3c.github.io/webdriver-bidi/#cddl-key-emulationsettimezoneoverride-params",
17174+
"linkingText": [
17175+
"params",
17176+
"\"params\""
17177+
],
17178+
"localLinkingText": [],
17179+
"type": "cddl-key",
17180+
"for": [
17181+
"emulation.SetTimezoneOverride"
17182+
],
17183+
"access": "private",
17184+
"informative": false,
17185+
"heading": {
17186+
"id": "command-emulation-setTimezoneOverride",
17187+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
17188+
"title": "The emulation.setTimezoneOverride Command",
17189+
"number": "7.4.2.4"
17190+
},
17191+
"definedIn": "pre",
17192+
"links": []
17193+
},
17194+
{
17195+
"id": "cddl-type-emulationsettimezoneoverrideparameters",
17196+
"href": "https://w3c.github.io/webdriver-bidi/#cddl-type-emulationsettimezoneoverrideparameters",
17197+
"linkingText": [
17198+
"emulation.SetTimezoneOverrideParameters"
17199+
],
17200+
"localLinkingText": [],
17201+
"type": "cddl-type",
17202+
"for": [],
17203+
"access": "private",
17204+
"informative": false,
17205+
"heading": {
17206+
"id": "command-emulation-setTimezoneOverride",
17207+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
17208+
"title": "The emulation.setTimezoneOverride Command",
17209+
"number": "7.4.2.4"
17210+
},
17211+
"definedIn": "pre",
17212+
"links": []
17213+
},
17214+
{
17215+
"id": "cddl-key-emulationsettimezoneoverrideparameters-timezone",
17216+
"href": "https://w3c.github.io/webdriver-bidi/#cddl-key-emulationsettimezoneoverrideparameters-timezone",
17217+
"linkingText": [
17218+
"timezone",
17219+
"\"timezone\""
17220+
],
17221+
"localLinkingText": [],
17222+
"type": "cddl-key",
17223+
"for": [
17224+
"emulation.SetTimezoneOverrideParameters"
17225+
],
17226+
"access": "private",
17227+
"informative": false,
17228+
"heading": {
17229+
"id": "command-emulation-setTimezoneOverride",
17230+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
17231+
"title": "The emulation.setTimezoneOverride Command",
17232+
"number": "7.4.2.4"
17233+
},
17234+
"definedIn": "pre",
17235+
"links": []
17236+
},
17237+
{
17238+
"id": "cddl-key-emulationsettimezoneoverrideparameters-contexts",
17239+
"href": "https://w3c.github.io/webdriver-bidi/#cddl-key-emulationsettimezoneoverrideparameters-contexts",
17240+
"linkingText": [
17241+
"contexts",
17242+
"\"contexts\""
17243+
],
17244+
"localLinkingText": [],
17245+
"type": "cddl-key",
17246+
"for": [
17247+
"emulation.SetTimezoneOverrideParameters"
17248+
],
17249+
"access": "private",
17250+
"informative": false,
17251+
"heading": {
17252+
"id": "command-emulation-setTimezoneOverride",
17253+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
17254+
"title": "The emulation.setTimezoneOverride Command",
17255+
"number": "7.4.2.4"
17256+
},
17257+
"definedIn": "pre",
17258+
"links": []
17259+
},
17260+
{
17261+
"id": "cddl-key-emulationsettimezoneoverrideparameters-usercontexts",
17262+
"href": "https://w3c.github.io/webdriver-bidi/#cddl-key-emulationsettimezoneoverrideparameters-usercontexts",
17263+
"linkingText": [
17264+
"userContexts",
17265+
"\"userContexts\""
17266+
],
17267+
"localLinkingText": [],
17268+
"type": "cddl-key",
17269+
"for": [
17270+
"emulation.SetTimezoneOverrideParameters"
17271+
],
17272+
"access": "private",
17273+
"informative": false,
17274+
"heading": {
17275+
"id": "command-emulation-setTimezoneOverride",
17276+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
17277+
"title": "The emulation.setTimezoneOverride Command",
17278+
"number": "7.4.2.4"
17279+
},
17280+
"definedIn": "pre",
17281+
"links": []
17282+
},
1706317283
{
1706417284
"id": "modules-network",
1706517285
"href": "https://w3c.github.io/webdriver-bidi/#modules-network",

ed/headings/webdriver-bidi.json

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -689,6 +689,13 @@
689689
"title": "The emulation.setScreenOrientationOverride Command",
690690
"number": "7.4.2.3"
691691
},
692+
{
693+
"id": "command-emulation-setTimezoneOverride",
694+
"href": "https://w3c.github.io/webdriver-bidi/#command-emulation-setTimezoneOverride",
695+
"level": 5,
696+
"title": "The emulation.setTimezoneOverride Command",
697+
"number": "7.4.2.4"
698+
},
692699
{
693700
"id": "module-network",
694701
"href": "https://w3c.github.io/webdriver-bidi/#module-network",

0 commit comments

Comments
 (0)