api.php: Use $wgRequest to retrieve User-agent string
authorSergio Santoro <santoro.srg@gmail.com>
Sun, 20 Jul 2014 13:47:21 +0000 (15:47 +0200)
committerSergio Santoro <santoro.srg@gmail.com>
Sun, 20 Jul 2014 13:47:21 +0000 (15:47 +0200)
commit896c6fa363d19f9853ddf71c0e5a7f5a56b31540
tree242317971b970799d1486e6878b3754a407f66b7
parente7361de181dcadbcc7c32de92b3498c9fb9d0193
api.php: Use $wgRequest to retrieve User-agent string

api.php was directly accessing $_SERVER superglobal.
It should use WebRequest wrapper object instead.

Change-Id: I244fb7a35476e9a35a5dc97f898d39c82c54b7fa
api.php