[webkit-reviews] review granted: [Bug 85049] Rename deviceDPI to devicePixelRatio : [Attachment 139794] Patch

[bugzilla-daemon at webkit.org]

Kenneth Rohde Christiansen <kenneth at webkit.org> has granted Alexander Færøy
<ahf at 0x90.dk>'s request for review:
Bug 85049: Rename deviceDPI to devicePixelRatio
https://bugs.webkit.org/show_bug.cgi?id=85049

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

------- Additional Comments from Kenneth Rohde Christiansen
<kenneth at webkit.org>
In the future lets add documentation