Skip to content

Commit

Permalink
Meta: export download & media fetch definitions
Browse files Browse the repository at this point in the history
  • Loading branch information
jakearchibald authored and Alice Boxhall committed Jan 7, 2019
1 parent ba9b049 commit 04cf2d6
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions source
Original file line number Diff line number Diff line change
Expand Up @@ -23146,9 +23146,9 @@ document.body.appendChild(wbr);</pre>

<hr>

<p>When a user <dfn data-x="downloading hyperlinks">downloads a hyperlink</dfn> created by an
element <var>subject</var>, optionally with a <var>hyperlink suffix</var>, the user agent must
run the following steps:</p>
<p>When a user <dfn data-x="downloading hyperlinks" data-export="">downloads a hyperlink</dfn>
created by an element <var>subject</var>, optionally with a <var>hyperlink suffix</var>, the user
agent must run the following steps:</p>

<ol>
<li><p>If <var>subject</var> <span>cannot navigate</span>, then return.</p></li>
Expand Down Expand Up @@ -33257,9 +33257,9 @@ interface <dfn>MediaError</dfn> {

</ol>

<p>The <dfn data-x="concept-media-load-resource">resource fetch algorithm</dfn> for a <span>media
element</span> and a given <span>URL record</span> or <span>media provider object</span> is as
follows:</p>
<p>The <dfn data-x="concept-media-load-resource" data-export="">resource fetch algorithm</dfn> for
a <span>media element</span> and a given <span>URL record</span> or <span>media provider
object</span> is as follows:</p>

<ol>

Expand Down

0 comments on commit 04cf2d6

Please sign in to comment.