Bug 1839316: part 3) Add `RequestPriority` to <Request.webidl>. r=kershaw,webidl...
commit282060408c4d0bb14e5ec6ad7848cb5f33495f44
authorMirko Brodesser <mbrodesser@igalia.com>
Mon, 7 Aug 2023 11:46:18 +0000 (7 11:46 +0000)
committerMirko Brodesser <mbrodesser@igalia.com>
Mon, 7 Aug 2023 11:46:18 +0000 (7 11:46 +0000)
tree3fe05a93f882cfd8de392af99f69f21f498bde25
parentb02cbc9c37823463ebce6915f096ba0db69372c5
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