[webkit-reviews] review granted: [Bug 85049] Rename deviceDPI to devicePixelRatio : [Attachment 139979] 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 139979: Patch
https://bugs.webkit.org/attachment.cgi?id=139979&action=review