search

screen-share / element-capture

https://screen-share.github.io/element-capture/
20 stars 6 forks source link

Add a w3c.json file #14

Closed fred-wang closed 1 year ago

fred-wang commented 1 year ago

Apparently this would be needed to get the WebIDL imported by external tools, see

https://github.com/w3c/browser-specs/pull/941#issuecomment-1536252404 https://github.com/w3c/browser-specs/issues/945

I checked https://w3c.github.io/w3c.json.html but I'm not sure what would be the proper repo-type value for an Unofficial Draft.

fred-wang commented 1 year ago

Fixed by https://github.com/screen-share/element-capture/commit/8c6fed0e47eef4d3a9911422da8cd6b72bd94fde