Use WebRequest instead of $_SERVER in EditPage.

Change-Id: I30cdcffe8c520f9a4031c31e3e08db9b699da597

diff --git a/includes/EditPage.php b/includes/EditPage.php
index b4a6792..03f5ba7 100644 (file)
--- 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;