253917 – Rename DOMWindowProperty to LocalDOMWindowProperty

RESOLVED FIXED253917

Rename DOMWindowProperty to LocalDOMWindowProperty

https://bugs.webkit.org/show_bug.cgi?id=253917

Summary Rename DOMWindowProperty to LocalDOMWindowProperty

Chris Dumez

Reported 2023-03-14 15:47:07 PDT

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

Attachments
Add attachment proposed patch, testcase, etc.

Chris Dumez

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

EWS

Comment 2 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.

Radar WebKit Bug Importer

Comment 3 2023-03-14 16:49:17 PDT

Note You need to log in before you can comment on or make changes to this bug.

Status RESOLVED

Resolution FIXED

Priority P2

Severity Normal

Classification Unclassified

Version WebKit Nightly Build

Hardware Unspecified

OS Unspecified

Product WebKit

Component WebCore Misc.

Assignee

Chris Dumez

Reported

2023-03-14 15:47 PDT

Modified

2023-03-14 16:49 PDT History

CC List

1 user Show

URL

Keywords InRadar

Depends on

Blocks