Add dfn for [[Data]] internal slot (#478)

Author: lukewarlow

spec/index.bs

@@ -384,14 +384,14 @@ interface TrustedHTML {
 };
 </pre>
 
-TrustedHTML objects have a `[[Data]]` internal slot which holds a
+TrustedHTML objects have a <dfn for="TrustedHTML">\[[Data]]</dfn> internal slot which holds a
 DOMString. The slot's value is set when the object is created, and
 will never change during its lifetime.
 
 <dfn method for="TrustedHTML">toJSON()</dfn> method steps and the
 <dfn for="TrustedHTML">stringification behavior</dfn> steps of a
 TrustedHTML object are to return the value from its
-`[[Data]]` internal slot.
+[=TrustedHTML/[[Data]]=] internal slot.
 
 ### <dfn interface>TrustedScript</dfn> ### {#trusted-script}
 
@@ -410,14 +410,14 @@ interface TrustedScript {
 };
 </pre>
 
-TrustedScript objects have a `[[Data]]` internal slot which holds a
+TrustedScript objects have a <dfn for="TrustedScript">\[[Data]]</dfn> internal slot which holds a
 DOMString. The slot's value is set when the object is created, and
 will never change during its lifetime.
 
 <dfn method for="TrustedScript">toJSON()</dfn> method steps and the
 <dfn for="TrustedScript">stringification behavior</dfn> steps of a
 TrustedScript object are to return the value from its
-`[[Data]]` internal slot.
+[=TrustedScript/[[Data]]=] internal slot.
 
 ### <dfn interface>TrustedScriptURL</dfn> ### {#trused-script-url}
 
@@ -436,14 +436,14 @@ interface TrustedScriptURL {
 };
 </pre>
 
-TrustedScriptURL objects have a `[[Data]]` internal slot which holds a
+TrustedScriptURL objects have a <dfn for="TrustedScriptURL">\[[Data]]</dfn> internal slot which holds a
 USVString. The slot's value is set when the object is created, and
 will never change during its lifetime.
 
 <dfn method for="TrustedScriptURL">toJSON()</dfn> method steps and the
 <dfn for="TrustedScriptURL">stringification behavior</dfn> steps of a
 TrustedScriptURL object are to return the value from its
-`[[Data]]` internal slot.
+[=TrustedScriptURL/[[Data]]=] internal slot.
 
 ## <dfn>Policies</dfn> ## {#policies-hdr}
 
@@ -636,7 +636,7 @@ initially empty.
 
 
 : <dfn>isHTML(value)</dfn>
-:: Returns true if value is an instance of {{TrustedHTML}} and has its `[[Data]]`  internal slot set, false otherwise.
+:: Returns true if value is an instance of {{TrustedHTML}} and has its [=TrustedHTML/[[Data]]=] internal slot set, false otherwise.
 
     Note: `is*` functions are used to check if a given object is truly a legitimate
     [=Trusted Type=] object (i.e. it was created via one of the configured
@@ -658,10 +658,10 @@ initially empty.
 
 
 : <dfn>isScript(value)</dfn>
-:: Returns true if value is an instance of {{TrustedScript}} and has its `[[Data]]` internal slot set, false otherwise.
+:: Returns true if value is an instance of {{TrustedScript}} and has its [=TrustedScript/[[Data]]=] internal slot set, false otherwise.
 
 : <dfn>isScriptURL(value)</dfn>
-:: Returns true if value is an instance of {{TrustedScriptURL}} and has its `[[Data]]` internal slot set, false otherwise.
+:: Returns true if value is an instance of {{TrustedScriptURL}} and has its [=TrustedScriptURL/[[Data]]=] internal slot set, false otherwise.
 
 : <dfn>getPropertyType(tagName, property, elementNs)</dfn>
 :: Allows the authors to check if a Trusted Type is required for a given {{Element}}'s
@@ -720,7 +720,7 @@ initially empty.
 <div dfn-type="attribute" dfn-for="TrustedTypePolicyFactory">
 
 : <dfn>emptyHTML</dfn>
-:: is a {{TrustedHTML}} object with its `[[Data]]` internal slot value set to an empty string.
+:: is a {{TrustedHTML}} object with its [=TrustedHTML/[[Data]]=] internal slot value set to an empty string.
 
 <div class="example" id="empty-html-example">
 <xmp highlight="js">
@@ -729,7 +729,7 @@ anElement.innerHTML = trustedTypes.emptyHTML; // no need to create a policy
 </div>
 
 : <dfn>emptyScript</dfn>
-:: is a {{TrustedScript}} object with its `[[Data]]` internal slot value set to an empty string.
+:: is a {{TrustedScript}} object with its [=TrustedScript/[[Data]]=] internal slot value set to an empty string.
 
 Note: This object can be used to detect if the runtime environment has [[#csp-eval]]. While native Trusted Types implementation can
 support `eval(TrustedScript)`, it is impossible for a polyfill to  emulate that, as
@@ -1756,15 +1756,15 @@ throws an "`EvalError`" if not:
 1.  <ins>Let |isTrusted| be `true`.</ins>
 1.  <ins>If |bodyArg| is not a {{TrustedScript}} object, set |isTrusted| to `false`.</ins>
 1.  <ins>If |isTrusted| is `true` then:
-    1. <ins>If |bodyString| is not equal to |bodyArg|'s `[[Data]]` internal slot, set |isTrusted| to `false`.</ins>
+    1. <ins>If |bodyString| is not equal to |bodyArg|'s [=TrustedScript/[[Data]]=] internal slot, set |isTrusted| to `false`.</ins>
 1.  <ins>If |isTrusted| is `true`, then:</ins>
     1. <ins> For each |arg| in |parameterArgs|:</ins>
         1. <ins>Let |index| be the index of |arg| in |parameterArgs|.</ins>
         1. <ins>If |arg| is not a {{TrustedScript}} object, set |isTrusted| to `false`.</ins>
         1. <ins>If |isTrusted| is `true`, then:</ins>
-            1. <ins>if |parameterStrings|[|index|] is not equal to |arg|'s `[[Data]]` internal slot, set |isTrusted| to `false`.</ins>
+            1. <ins>if |parameterStrings|[|index|] is not equal to |arg|'s [=TrustedScript/[[Data]]=] internal slot, set |isTrusted| to `false`.</ins>
 1.  <ins>If |isTrusted| is `true`, let |sourceToValidate| be a new instance of
-    the {{TrustedScript}} interface, with its `[[Data]]` internal slot value
+    the {{TrustedScript}} interface, with its [=TrustedScript/[[Data]]=] internal slot value
     set to |source|. Otherwise, let |sourceToValidate| be |source|.</ins>
 
 1. <ins>Let |sourceString| be the result of executing the