Skip to content
Merge bot PR

Fix DOMElement::$attributes stub #3218

Sign in to view logs

Fix DOMElement::$attributes stub

Fix DOMElement::$attributes stub #3218

Triggered via pull request May 27, 2025 14:03
@VincentLangletVincentLanglet
opened #4029
VincentLanglet:fix13076
Status Success
Total duration 33s
Artifacts –

merge-bot-pr.yml

on: pull_request
Automerge PRs
28s
Automerge PRs
Fit to window
Zoom out
Zoom in