| Index: trunk/phase3/includes/Article.php |
| — | — | @@ -1063,7 +1063,7 @@ |
| 1064 | 1064 | |
| 1065 | 1065 | # Mark this particular edit as patrolled |
| 1066 | 1066 | function markpatrolled() { |
| 1067 | | - global $wgOut, $wgRequest, $wgOnlySysopsCanPatrol, $wgUseRCPatrol; |
| | 1067 | + global $wgOut, $wgRequest, $wgOnlySysopsCanPatrol, $wgUseRCPatrol, $wgUser; |
| 1068 | 1068 | $wgOut->setRobotpolicy( 'noindex,follow' ); |
| 1069 | 1069 | |
| 1070 | 1070 | if ( !$wgUseRCPatrol ) |