From 31d5be7b78722c645b6db7d70760d872f1c25b8d Mon Sep 17 00:00:00 2001
From: Arne Heizmann <timwi@users.mediawiki.org>
Date: Sat, 14 Aug 2004 06:40:14 +0000
Subject: [PATCH] slight bugfix to patrol feature, thanks to maveric149 for
 finding it

---
 includes/Article.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Article.php b/includes/Article.php
index 21fe0b3df7..7fedeee6ad 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -1063,7 +1063,7 @@ class Article {
 
 	# Mark this particular edit as patrolled
 	function markpatrolled() {
-		global $wgOut, $wgRequest, $wgOnlySysopsCanPatrol, $wgUseRCPatrol;
+		global $wgOut, $wgRequest, $wgOnlySysopsCanPatrol, $wgUseRCPatrol, $wgUser;
 		$wgOut->setRobotpolicy( 'noindex,follow' );
 
 		if ( !$wgUseRCPatrol )
-- 
2.20.1