Skip to content

script: Move performance DOM interfaces to script/dom/performance/#40262

Merged
mrobinson merged 1 commit intoservo:mainfrom
WaterWhisperer:move-interfaces
Oct 29, 2025
Merged

script: Move performance DOM interfaces to script/dom/performance/#40262
mrobinson merged 1 commit intoservo:mainfrom
WaterWhisperer:move-interfaces

Conversation

@WaterWhisperer
Copy link
Copy Markdown
Contributor

Moves interfaces defined by the performance spec to the script/dom/performance/ 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 29, 2025
@servo-highfive servo-highfive removed the S-awaiting-review There is new code that needs to be reviewed. label Oct 29, 2025
@mrobinson mrobinson added this pull request to the merge queue Oct 29, 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 29, 2025
Merged via the queue into servo:main with commit 32c0c41 Oct 29, 2025
32 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 29, 2025
@WaterWhisperer WaterWhisperer deleted the move-interfaces branch October 29, 2025 13:38
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