From 5459ad3f8142b82677ba75550dcd86eeb2667a84 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Sat, 2 Aug 2008 08:10:45 +0000
Subject: [PATCH] Remove unused global.

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

diff --git a/includes/Article.php b/includes/Article.php
index 70e423dbaf..d6809bfeff 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -1829,7 +1829,6 @@ class Article {
 
 		# If nothing's changed, do nothing
 		if( $changed ) {
-			global $wgGroupPermissions;
 			if( wfRunHooks( 'ArticleProtect', array( &$this, &$wgUser, $limit, $reason ) ) ) {
 
 				$dbw = wfGetDB( DB_MASTER );
-- 
2.20.1