From d7d5ecfb6fb2d82a23c46fde1da8821eaf5f324e Mon Sep 17 00:00:00 2001
From: Mike West
Date: Fri, 15 Jul 2016 21:16:02 +0200
Subject: [PATCH] fixup @domenic
---
source | 18 +++++++-----------
1 file changed, 7 insertions(+), 11 deletions(-)
diff --git a/source b/source
index a5573db0d37..0a98c4ba28a 100644
--- a/source
+++ b/source
@@ -77216,9 +77216,9 @@ dictionary DragEventInit : MouseEventInit {
browsing context has no creator browsing context.
If a browsing context (context) has a creator browsing
- context (creator), it also has the following properties whose values are set
- with regard to creator's active document at the time context
- is created (creator document):
+ context (creator), it also has the following properties. In what follows, let
+ creator document be creator's active document at the time
+ context is created (creator document):
- creator origin
@@ -77231,16 +77231,12 @@ dictionary DragEventInit : MouseEventInit {
- creator document's base URL
- creator referrer policy
- -
- creator document's referrer
- policy
-
+ - creator document's referrer
+ policy
- creator context security
- -
- The result of executing Is environment settings object a Secure
- Context? on creator document's relevant settings object
-
+ - The result of executing Is environment settings object a secure context? on
+ creator document's relevant settings object