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 2ef9ded..6a3e41c 100644 (file)
--- 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(