[webrtc-stats] Mark up duplicate definition of RTCStats dictionary (#385)

foolip has just created a new issue for https://github.com/w3c/webrtc-stats:

== Mark up duplicate definition of RTCStats dictionary ==
https://w3c.github.io/webrtc-stats/#basic-concepts has a duplicate definition of https://w3c.github.io/webrtc-pc/#rtcstats-dictionary, clearly marked as duplicate for a human reader.

However, it's still extracted into https://github.com/tidoust/reffy-reports/blob/master/w3c/idl/webrtc-stats.idl, and a machine readable annotation is needed to exclude it.

@tidoust looking at https://github.com/tidoust/reffy/blob/master/src/cli/extract-webidl.js I can't now find what the class to omit IDL is, can you help?

Please view or discuss this issue at https://github.com/w3c/webrtc-stats/issues/385 using your GitHub account

Received on Thursday, 17 January 2019 22:19:25 UTC