Merge "api.php: Use $wgRequest to retrieve User-agent string"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 Jul 2014 12:01:45 +0000 (12:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 Jul 2014 12:01:45 +0000 (12:01 +0000)
commitdc1ca51969959c0989123d152ce260ee5e7cf2cf
treedd68a9df28e39cd83d58a8ed2d96b62c953c81b2
parentc76327c039c57d523fc36fa7eadbd0c750a17b93
parent896c6fa363d19f9853ddf71c0e5a7f5a56b31540
Merge "api.php: Use $wgRequest to retrieve User-agent string"