Merge "Upstream `isElementInViewport` from MobileFrontend"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 3 Mar 2016 20:38:56 +0000 (20:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 3 Mar 2016 20:38:56 +0000 (20:38 +0000)
commit16f1acae07c4587e7ec22061bc242114712fcf34
tree11b27ae22bebb71d028c879d7397c8dd8f16185f
parent7546dd949085f792230372ac5229a33b77d8606b
parent3f4e016873da100a002d60e2de38ae5d167b4981
Merge "Upstream `isElementInViewport` from MobileFrontend"
resources/Resources.php