W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > January 2019

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

From: Philip Jägenstedt via GitHub <sysbot+gh@w3.org>
Date: Thu, 17 Jan 2019 22:19:24 +0000
To: public-webrtc-logs@w3.org
Message-ID: <issues.opened-400487771-1547763563-sysbot+gh@w3.org>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 4 June 2019 15:32:54 UTC