Skip to content

Conversation

nicolo-ribaudo
Copy link
Contributor

@nicolo-ribaudo nicolo-ribaudo commented Sep 4, 2024

This is a very minor editorial nit, but they are also used as the default fetch options in step 4 of HostLoadImportedModule for module scripts.


/browsing-the-web.html ( diff )
/timers-and-user-prompts.html ( diff )
/webappapis.html ( diff )

They are also used as the default fetch options for module scripts,
in HostLoadImportedModule.
@nicolo-ribaudo nicolo-ribaudo force-pushed the rename-default-script-fetch-options branch from 48528c5 to 803d90c Compare September 4, 2024 09:57
Copy link
Member

@domenic domenic left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great find, thank you!

@domenic domenic merged commit 5ee6b7b into whatwg:main Sep 5, 2024
2 checks passed
@nicolo-ribaudo nicolo-ribaudo deleted the rename-default-script-fetch-options branch September 5, 2024 06:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants