Skip to content

script: Move IndexedDB DOM interfaces to script/dom/indexeddb/#40091

Merged
jdm merged 1 commit intoservo:mainfrom
WaterWhisperer:move-interfaces
Oct 23, 2025
Merged

script: Move IndexedDB DOM interfaces to script/dom/indexeddb/#40091
jdm merged 1 commit intoservo:mainfrom
WaterWhisperer:move-interfaces

Conversation

@WaterWhisperer
Copy link
Copy Markdown
Contributor

Moves interfaces defined by the indexeddb spec to the script/dom/indexeddb/ module from script/dom/.

Testing: Just a refactor shouldn't need any testing
Fixes: Partially #38901

@servo-highfive servo-highfive added the S-awaiting-review There is new code that needs to be reviewed. label Oct 23, 2025
Copy link
Copy Markdown
Member

@jdm jdm left a comment

Choose a reason for hiding this comment

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

Thanks!

@servo-highfive servo-highfive removed the S-awaiting-review There is new code that needs to be reviewed. label Oct 23, 2025
@jdm jdm enabled auto-merge October 23, 2025 01:41
@jdm jdm added this pull request to the merge queue Oct 23, 2025
@servo-highfive servo-highfive added the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Oct 23, 2025
Merged via the queue into servo:main with commit dd1fc07 Oct 23, 2025
30 checks passed
@servo-highfive servo-highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Oct 23, 2025
@WaterWhisperer WaterWhisperer deleted the move-interfaces branch October 26, 2025 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants