Bug 253917

Summary:	Rename DOMWindowProperty to LocalDOMWindowProperty
Product:	WebKit	Reporter:	Chris Dumez <cdumez>
Component:	WebCore Misc.	Assignee:	Chris Dumez <cdumez>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

Description Chris Dumez 2023-03-14 15:47:07 PDT

Rename DOMWindowProperty to LocalDOMWindowProperty, since it is associated with a LocalDOMWindow, not a generic DOMWindow.

Comment 1 Chris Dumez 2023-03-14 15:50:14 PDT

Pull request: https://github.com/WebKit/WebKit/pull/11521

Comment 2 EWS 2023-03-14 16:48:17 PDT

Committed 261659@main (4839146194f5): <https://commits.webkit.org/261659@main>

Reviewed commits have been landed. Closing PR #11521 and removing active labels.

Comment 3 Radar WebKit Bug Importer 2023-03-14 16:49:17 PDT

<rdar://problem/106727771>