From 04cf2d64da1727f26d7ae315ac0464110db1b7d1 Mon Sep 17 00:00:00 2001 From: Jake Archibald Date: Thu, 17 May 2018 16:27:26 +0100 Subject: [PATCH] Meta: export download & media fetch definitions For https://github.com/whatwg/fetch/pull/560#issuecomment-387328262. --- source | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/source b/source index 69ce13d8d7e..3cfff4d8ba9 100644 --- a/source +++ b/source @@ -23146,9 +23146,9 @@ document.body.appendChild(wbr);
-

When a user downloads a hyperlink created by an - element subject, optionally with a hyperlink suffix, the user agent must - run the following steps:

+

When a user downloads a hyperlink + created by an element subject, optionally with a hyperlink suffix, the user + agent must run the following steps:

  1. If subject cannot navigate, then return.

  2. @@ -33257,9 +33257,9 @@ interface MediaError {
-

The resource fetch algorithm for a media - element and a given URL record or media provider object is as - follows:

+

The resource fetch algorithm for + a media element and a given URL record or media provider + object is as follows: