Skip to content

Commit

Permalink
Update of ED report from new reffy run
Browse files Browse the repository at this point in the history
Using reffy commit 14.1.0.
  • Loading branch information
reffy-bot committed Sep 30, 2023
1 parent 774ae9b commit 18e062c
Show file tree
Hide file tree
Showing 5 changed files with 101 additions and 68 deletions.
18 changes: 18 additions & 0 deletions ed/dfns/intersection-observer.json
Original file line number Diff line number Diff line change
Expand Up @@ -570,6 +570,24 @@
},
"definedIn": "prose"
},
{
"id": "apply-scroll-margin-to-a-scrollport",
"href": "https://w3c.github.io/IntersectionObserver/#apply-scroll-margin-to-a-scrollport",
"linkingText": [
"apply scroll margin to a scrollport"
],
"localLinkingText": [],
"type": "dfn",
"for": [],
"access": "private",
"informative": false,
"heading": {
"id": "title",
"href": "https://w3c.github.io/IntersectionObserver/#title",
"title": "Intersection Observer"
},
"definedIn": "dt"
},
{
"id": "parse-a-margin",
"href": "https://w3c.github.io/IntersectionObserver/#parse-a-margin",
Expand Down
13 changes: 10 additions & 3 deletions ed/headings/webmidi.json
Original file line number Diff line number Diff line change
Expand Up @@ -171,12 +171,19 @@
"number": "5.6.1"
},
{
"id": "security-and-privacy-considerations-of-midi",
"href": "https://webaudio.github.io/web-midi-api/#security-and-privacy-considerations-of-midi",
"id": "privacy-considerations",
"href": "https://webaudio.github.io/web-midi-api/#privacy-considerations",
"level": 2,
"title": "Security and Privacy Considerations of MIDI",
"title": "Privacy Considerations",
"number": "6"
},
{
"id": "security-considerations",
"href": "https://webaudio.github.io/web-midi-api/#security-considerations",
"level": 2,
"title": "Security Considerations",
"number": "7"
},
{
"id": "references",
"href": "https://webaudio.github.io/web-midi-api/#references",
Expand Down
14 changes: 10 additions & 4 deletions ed/ids/intersection-observer.json
Original file line number Diff line number Diff line change
Expand Up @@ -228,8 +228,6 @@
"https://w3c.github.io/IntersectionObserver/#ref-for-scrollport",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-intersection-root%E2%91%A3",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-target%E2%91%A7",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-same-origin-domain-target%E2%91%A1",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-cross-origin-domain-target%E2%91%A0",
"https://w3c.github.io/IntersectionObserver/#ref-for-dom-intersectionobserver-scrollmargin-slot",
"https://w3c.github.io/IntersectionObserver/#ref-for-dom-intersectionobserverinit-scrollmargin",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver%E2%91%A0%E2%91%A1",
Expand Down Expand Up @@ -273,7 +271,7 @@
"https://w3c.github.io/IntersectionObserver/#ref-for-element-get-the-bounding-box",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-intersection-root%E2%91%A6",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-root-intersection-rectangle%E2%91%A0",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-same-origin-domain-target%E2%91%A2",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-same-origin-domain-target%E2%91%A1",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver%E2%91%A0%E2%91%A6",
"https://w3c.github.io/IntersectionObserver/#ref-for-dom-intersectionobserver-rootmargin-slot%E2%91%A0",
"https://w3c.github.io/IntersectionObserver/#ref-for-propdef-margin",
Expand All @@ -283,11 +281,18 @@
"https://w3c.github.io/IntersectionObserver/#ref-for-element%E2%91%A7",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-intersection-root%E2%91%A8",
"https://w3c.github.io/IntersectionObserver/#ref-for-dom-intersectionobserver-rootmargin%E2%91%A1",
"https://w3c.github.io/IntersectionObserver/#apply-scroll-margin-to-a-scrollport",
"https://w3c.github.io/IntersectionObserver/#infopanel-for-apply-scroll-margin-to-a-scrollport",
"https://w3c.github.io/IntersectionObserver/#infopaneltitle-for-apply-scroll-margin-to-a-scrollport",
"https://w3c.github.io/IntersectionObserver/#infopanel-for-apply-scroll-margin-to-a-scrollport",
"https://w3c.github.io/IntersectionObserver/#infopaneltitle-for-apply-scroll-margin-to-a-scrollport",
"https://w3c.github.io/IntersectionObserver/#ref-for-scrollport%E2%91%A0",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-same-origin-domain-target%E2%91%A3",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-same-origin-domain-target%E2%91%A2",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver%E2%91%A0%E2%91%A7",
"https://w3c.github.io/IntersectionObserver/#ref-for-dom-intersectionobserver-scrollmargin-slot%E2%91%A0",
"https://w3c.github.io/IntersectionObserver/#ref-for-propdef-margin%E2%91%A0",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-same-origin-domain-target%E2%91%A3",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-cross-origin-domain-target%E2%91%A0",
"https://w3c.github.io/IntersectionObserver/#ref-for-dom-intersectionobserver-scrollmargin%E2%91%A0",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-target%E2%91%A0%E2%93%AA",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-intersection-root%E2%91%A0%E2%93%AA",
Expand Down Expand Up @@ -662,6 +667,7 @@
"https://w3c.github.io/IntersectionObserver/#ref-for-scroll-container",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver%E2%91%A1%E2%91%A7",
"https://w3c.github.io/IntersectionObserver/#ref-for-dom-intersectionobserver-scrollmargin-slot%E2%91%A2",
"https://w3c.github.io/IntersectionObserver/#ref-for-apply-scroll-margin-to-a-scrollport",
"https://w3c.github.io/IntersectionObserver/#ref-for-intersectionobserver-content-clip%E2%91%A0",
"https://w3c.github.io/IntersectionObserver/#ref-for-propdef-clip-path",
"https://w3c.github.io/IntersectionObserver/#ref-for-browsing-context%E2%91%A0",
Expand Down
6 changes: 4 additions & 2 deletions ed/ids/webmidi.json
Original file line number Diff line number Diff line change
Expand Up @@ -379,8 +379,10 @@
"https://webaudio.github.io/web-midi-api/#ref-for-dom-midiport-27",
"https://webaudio.github.io/web-midi-api/#ref-for-dom-midiconnectioneventinit-port-1",
"https://webaudio.github.io/web-midi-api/#dom-midiconnectioneventinit-port",
"https://webaudio.github.io/web-midi-api/#security-and-privacy-considerations-of-midi",
"https://webaudio.github.io/web-midi-api/#x6-security-and-privacy-considerations-of-midi",
"https://webaudio.github.io/web-midi-api/#privacy-considerations",
"https://webaudio.github.io/web-midi-api/#x6-privacy-considerations",
"https://webaudio.github.io/web-midi-api/#security-considerations",
"https://webaudio.github.io/web-midi-api/#x7-security-considerations",
"https://webaudio.github.io/web-midi-api/#ref-for-dfn-system-exclusive-14",
"https://webaudio.github.io/web-midi-api/#ref-for-dfn-system-exclusive-15",
"https://webaudio.github.io/web-midi-api/#ref-for-dfn-system-exclusive-16",
Expand Down
Loading

0 comments on commit 18e062c

Please sign in to comment.