slight bugfix to patrol feature, thanks to maveric149 for finding it

diff --git a/includes/Article.php b/includes/Article.php
index 21fe0b3..7fedeee 100644 (file)
--- 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 )