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

[webrtc-pc] Pull Request: Make DOMException references cite [WEBIDL]

From: henbos via GitHub <sysbot+gh@w3.org>
Date: Wed, 05 Jun 2019 16:18:42 +0000
To: public-webrtc-logs@w3.org
Message-ID: <pull_request.opened-285450768-1559751521-sysbot+gh@w3.org>
henbos has just submitted a new pull request for https://github.com/w3c/webrtc-pc:

== Make DOMException references cite [WEBIDL] ==
Fixes #2091.

We (still) have two WebIDL references, [[WEBIDL]](https://heycam.github.io/webidl/) and [[WEBIDL-1]](https://www.w3.org/TR/2016/REC-WebIDL-1-20161215/). These point to different versions.

The first one seem to reference tip-of-tree, the second seem to reference a version from dec 2016, where DOMException is not an interface like it is today.

We should probably cite a recent version and only have one WebIDL source. In the meantime, this PR makes the DOMException references not be broken.

See https://github.com/w3c/webrtc-pc/pull/2200
Received on Wednesday, 5 June 2019 16:18:44 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 5 June 2019 16:18:45 UTC