[webkit-reviews] review granted: [Bug 80733] Rename JSDOMWindowShell to JSDOMWindowProxy to match the HTML5 spec. : [Attachment 312713] Patch

[bugzilla-daemon at webkit.org]

Chris Dumez <cdumez at apple.com> has granted Sam Weinig <sam at webkit.org>'s
request for review:
Bug 80733: Rename JSDOMWindowShell to JSDOMWindowProxy to match the HTML5 spec.
https://bugs.webkit.org/show_bug.cgi?id=80733

Attachment 312713: Patch

https://bugs.webkit.org/attachment.cgi?id=312713&action=review




--- Comment #2 from Chris Dumez <cdumez at apple.com> ---
Comment on attachment 312713
  --> https://bugs.webkit.org/attachment.cgi?id=312713
Patch

r=me