Add getCookie(). Stuff should use this now instead of accessing $_COOKIE directly

diff --git a/includes/WebRequest.php b/includes/WebRequest.php
index 834f2b1..83f9690 100644 (file)
--- a/includes/WebRequest.php
+++ b/includes/WebRequest.php
@@ -431,6 +431,21 @@ class WebRequest {
                return isset( $_COOKIE[session_name()] );
        }
 
+       /**
+        * Get a cookie from the $_COOKIE jar
+        * @param String $key The name of the cookie
+        * @param mixed $default What to return if the value isn't found
+        * @param String $prefix A prefix to use for the cookie name, if not $wgCookiePrefix
+        * @return <type>
+        */
+       public function getCookie( $key, $default = null, $prefix = '' ) {
+               if( !$prefix ) {
+                       global $wgCookiePrefix;
+                       $prefix = $wgCookiePrefix;
+               }
+               return $this->getGPCVal( $_COOKIE, $prefix . $key , $default );
+       }
+
        /**
         * Return the path portion of the request URI.
         * @return string