[webkit-reviews] review granted: [Bug 74790] Web Inspector: PageAgent.open() dosen't belong : [Attachment 123274] Patch

[bugzilla-daemon at webkit.org]

Yury Semikhatsky <yurys at chromium.org> has granted Pavel Feldman
<pfeldman at chromium.org>'s request for review:
Bug 74790: Web Inspector: PageAgent.open() dosen't belong
https://bugs.webkit.org/show_bug.cgi?id=74790

Attachment 123274: Patch
https://bugs.webkit.org/attachment.cgi?id=123274&action=review

------- Additional Comments from Yury Semikhatsky <yurys at chromium.org>
View in context: https://bugs.webkit.org/attachment.cgi?id=123274&action=review


> Source/WebCore/inspector/Inspector.json:230
> +		       { "name": "url", "type": "string", "description": "URL
to navigate the page to." }

This may well be performed by evaluating location.href = <new url> in the
inspected page, but as discussed offline let's leave this method for
convenience.