Deprecated wfGetAgent(), use $wgRequest->getHeader( 'User-Agent' ) instead

diff --git a/includes/ProxyTools.php b/includes/ProxyTools.php
index 3d4bb88..edb0cd6 100644 (file)
--- 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();