Bug 1839316: part 3) Add `RequestPriority` to <Request.webidl>. r=kershaw,webidl...
commit6ff4895cb765a1a8e15346a8baa26a632dca46d8
authorMirko Brodesser <mbrodesser@igalia.com>
Wed, 9 Aug 2023 13:50:28 +0000 (9 13:50 +0000)
committerMirko Brodesser <mbrodesser@igalia.com>
Wed, 9 Aug 2023 13:50:28 +0000 (9 13:50 +0000)
treea375e4a5b19a4745008d77e1c2408fe5d226ed91
parent9671332492af66051fe7d834d28bf2e535410514
Bug 1839316: part 3) Add `RequestPriority` to <Request.webidl>. r=kershaw,webidl,saschanaz

It's required for `ScriptFetchOptions`, see
<https://searchfox.org/mozilla-central/rev/3424c000a7ff304b2d1efb8561a924232f7f12fc/js/loader/ScriptLoadRequest.h#58-60,85>.

In a following part, `RequestPriority` will be added to `RequestInit`,
hence the former is defined in the correct file.

Differential Revision: https://phabricator.services.mozilla.com/D182006
dom/webidl/Request.webidl