- 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
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