From 8f7038afe36e4cf46e910807b7c191ced9c92c77 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Fri, 3 Jun 2011 10:41:53 +0000
Subject: [PATCH] Deprecated wfGetAgent(), use $wgRequest->getHeader(
 'User-Agent' ) instead

---
 includes/ProxyTools.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/includes/ProxyTools.php b/includes/ProxyTools.php
index 3d4bb8866f..edb0cd67e4 100644
--- a/includes/ProxyTools.php
+++ b/includes/ProxyTools.php
@@ -41,9 +41,12 @@ function wfGetForwardedFor() {
 /**
  * Returns the browser/OS data from the request header
  * Note: headers are spoofable
+ *
+ * @deprecated in 1.19; use $wgRequest->getHeader( 'User-Agent' ) instead.
  * @return string
  */
 function wfGetAgent() {
+	wfDeprecated( __FUNCTION__ );
 	if( function_exists( 'apache_request_headers' ) ) {
 		// More reliable than $_SERVER due to case and -/_ folding
 		$set = array();
-- 
2.20.1