W3C home > Mailing lists > Public > public-media-capture-logs@w3.org > March 2016

Re: [mediacapture-main] Switch getUserMedia permission-rejection to NotAllowedError ?

From: Harald Alvestrand via GitHub <sysbot+gh@w3.org>
Date: Mon, 07 Mar 2016 05:35:46 +0000
To: public-media-capture-logs@w3.org
Message-ID: <issue_comment.created-193112767-1457328946-sysbot+gh@w3.org>
Sadly, I can't find a definition of either "user agent" or "user" in 
the webidl spec. I assume that they're assumed to be inherited from 
somewhere, but the spec doesn't say where. New bug?
(There's one reference to "HTML user agent" in an example, which may 
be a hint.)

"User" is also used in the context of "user objects", indicating that 
it's used for the Javascript that uses the WebIDL-defined API, which 
is not what we're talking about here.

Terminology is hard...

GitHub Notification of comment by alvestrand
Please view or discuss this issue at 
 using your GitHub account
Received on Monday, 7 March 2016 05:35:49 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:27:29 UTC