Merge "api.php: Use $wgRequest to retrieve User-agent string"