From: Kaldari <rkaldari@wikimedia.org>
Date: Mon, 7 May 2012 23:30:48 +0000 (-0700)
Subject: Fixing fatal error - you can't call getUser on a WebRequest object
X-Git-Tag: 1.31.0-rc.0~23700
X-Git-Url: http://git.cyclocoop.org/%24image?a=commitdiff_plain;h=a986772e98e7dd49a438cbde7e7250ac50fdb5f9;p=lhc%2Fweb%2Fwiklou.git

Fixing fatal error - you can't call getUser on a WebRequest object

Change-Id: I323e9c39cd89673b7e369df3b77573e51f4ea2e3
---

diff --git a/includes/Article.php b/includes/Article.php
index 2ef9dedaa3..6a3e41cb3c 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -910,13 +910,14 @@ class Article extends Page {
 	public function showPatrolFooter() {
 		$request = $this->getContext()->getRequest();
 		$outputPage = $this->getContext()->getOutput();
+		$user = $this->getContext()->getUser();
 		$rcid = $request->getVal( 'rcid' );
 
 		if ( !$rcid || !$this->getTitle()->quickUserCan( 'patrol' ) ) {
 			return;
 		}
 
-		$token = $request->getUser()->getEditToken( $rcid );
+		$token = $user->getEditToken( $rcid );
 		$outputPage->preventClickjacking();
 
 		$outputPage->addHTML(