The otherwise clause for Document objects can point to the DOM standard
instead. See bug 20390 for more details.
Posted from: 220.127.116.11 by email@example.com
User agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_8_2) AppleWebKit/537.21 (KHTML, like Gecko) Chrome/25.0.1359.3 Safari/537.21
Done on the HTML side, but the DOM side is gonna need some changes.
Right now the text is:
# Unless explicitly given when a document is created, its origin is a
# globally unique identifier and its effective script origin is an
# alias of that origin. [HTML]
...but (a) the origins aren't set when the documents are created, they're set just generically for all documents by the HTML spec, and (b) the effective script origin can be mutated.
I recommend this instead:
# Except where otherwise specified, the origin of a Document is a
# globally unique identifier, and the effective script origin of a
# Document is an alias of the Document's origin. [HTML]
Checked in as WHATWG revision r7732.
Check-in comment: Defer to DOM.