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 
https://github.com/w3c/mediacapture-main/issues/317#issuecomment-193112767
 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