From c5727b55a52387d586ad88e0af249ea14294c0af Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex.wiki@gmail.com>
Date: Fri, 20 Jul 2012 20:46:24 +0200
Subject: [PATCH] Use WebRequest instead of $_SERVER in EditPage.

Change-Id: I30cdcffe8c520f9a4031c31e3e08db9b699da597
---
 includes/EditPage.php | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/includes/EditPage.php b/includes/EditPage.php
index b4a67924b3..03f5ba7839 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -3140,12 +3140,14 @@ HTML
 	 * @private
 	 */
 	function checkUnicodeCompliantBrowser() {
-		global $wgBrowserBlackList;
-		if ( empty( $_SERVER["HTTP_USER_AGENT"] ) ) {
+		global $wgBrowserBlackList, $wgRequest;
+
+		$currentbrowser = $wgRequest->getHeader( 'User-Agent' );
+		if ( $currentbrowser === false ) {
 			// No User-Agent header sent? Trust it by default...
 			return true;
 		}
-		$currentbrowser = $_SERVER["HTTP_USER_AGENT"];
+
 		foreach ( $wgBrowserBlackList as $browser ) {
 			if ( preg_match( $browser, $currentbrowser ) ) {
 				return false;
-- 
2.20.1