Drop verify an attribute value algorithm

Author: lukewarlow

dom.bs

@@ -6948,7 +6948,7 @@ steps:
  <a for=Attr>value</a>.
 </ol>
 
-<p>To <dfn>verify attribute value</dfn> given a {{TrustedType}} or string <var>value</var>, an
+<p>To <dfn>verify an attribute value</dfn> given a {{TrustedType}} or string <var>value</var>, an
 <a>attribute</a> <var>attribute</var>, and an <a for=/>Element</a> <var>element</var>:
 
 <ol>
@@ -7008,9 +7008,9 @@ string <var>namespace</var> (default null):</p>
 <a for=/>attribute</a> <var>attr</var> and an <a for=/>element</a> <var>element</var>:
 
 <ol>
- <li><p>Let <var>verifiedValue</var> be the result of
- <a lt="verify attribute value">verifying an attribute value</a> given <var>attr</var>'s
- <a for=Attr>value</a>, <var>attr</var>, and <var>element</var>.
+ <li><p>Let <var>verifiedValue</var> be the result of calling <a abstract-op>get
+ Trusted Types-compliant attribute value</a> given <var>attr</var>, with <var>element</var>, and
+ <var>attr</var>'s <a for=Attr>value</a>. [[!TRUSTED-TYPES]]
 
  <li><p>If <var>attr</var>'s <a for=Attr>element</a> is neither null nor <var>element</var>,
  <a>throw</a> an "{{InUseAttributeError!!exception}}" {{DOMException}}.
@@ -7315,9 +7315,9 @@ method steps are:
  whose <a for=Attr>local name</a> is <var>qualifiedName</var>, <a for=Attr>value</a> is
  <var>value</var>, and <a for=Node>node document</a> is <a>this</a>'s <a for=Node>node document</a>.
 
- <li><p>Let <var>verifiedValue</var> be the result of
- <a lt="verify attribute value">verifying an attribute value</a> given <var>value</var>,
- <var>attribute</var>, and <a>this</a>.
+ <li><p>Let <var>verifiedValue</var> be the result of calling <a abstract-op>get
+ Trusted Types-compliant attribute value</a> given <var>attribute</var>, with <a>this</a>, and
+ <var>value</var>. [[!TRUSTED-TYPES]]
 
  <li><p>Set <var>attribute</var> to the first <a>attribute</a> in <a>this</a>'s
  <a for=Element>attribute list</a> whose <a for=Attr>qualified name</a> is <var>qualifiedName</var>,
@@ -7350,9 +7350,9 @@ method steps are:
  <var>value</var>, and <a for=Node>node document</a> is <var>element</var>'s
  <a for=Node>node document</a>.
 
- <li><p>Let <var>verifiedValue</var> be the result of
- <a lt="verify attribute value">verifying an attribute value</a> given <var>value</var>,
- <var>attribute</var>, and <var>element</var>.
+ <li><p>Let <var>verifiedValue</var> be the result of calling <a abstract-op>get
+ Trusted Types-compliant attribute value</a> given <var>attribute</var>, with <var>element</var>,
+ and <var>value</var>. [[!TRUSTED-TYPES]]
 
  <li><p>Set <var>attribute</var> to the result of
  <a lt="get an attribute by namespace and local name">getting an attribute</a> given
@@ -7949,9 +7949,9 @@ string <var>value</var>, run these steps:
   <ol>
    <li><p>Let <var>originalElement</var> be <var>attribute</var>'s <a for=Attr>element</a>.
 
-   <li><p>Let <var>verifiedValue</var> be the result of
-   <a lt="verify attribute value">verifying an attribute value</a> given <var>value</var>,
-   <var>attribute</var>, and <a>this</a>.
+   <li><p>Let <var>verifiedValue</var> be the result of calling <a abstract-op>get
+   Trusted Types-compliant attribute value</a> given <var>attribute</var>, with <a>this</a>,
+   and <var>value</var>. [[!TRUSTED-TYPES]]
 
    <li><p>If <var>attribute</var>'s <a for=Attr>element</a> is null, then set <var>attribute</var>'s
    <a for=Attr>value</a> to <var>verifiedValue</var>, and return.