From a986772e98e7dd49a438cbde7e7250ac50fdb5f9 Mon Sep 17 00:00:00 2001
From: Kaldari <rkaldari@wikimedia.org>
Date: Mon, 7 May 2012 16:30:48 -0700
Subject: [PATCH] Fixing fatal error - you can't call getUser on a WebRequest
 object

Change-Id: I323e9c39cd89673b7e369df3b77573e51f4ea2e3
---
 includes/Article.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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(
-- 
2.20.1