A new m_detailsState private field for HTMLDetailsElement has been added in 267076@main, but it is unused.
Pull request: https://github.com/WebKit/WebKit/pull/17117
Thanks — sorry for having missed that
Committed 267350@main (ae04054966ff): <https://commits.webkit.org/267350@main> Reviewed commits have been landed. Closing PR #17117 and removing active labels.
<rdar://problem/114563715>