From 15b75d887f5500ef6f6cf0bc53713514b8f79a50 Mon Sep 17 00:00:00 2001
From: Andrew Garrett <werdna@users.mediawiki.org>
Date: Thu, 2 Aug 2007 12:36:34 +0000
Subject: [PATCH] Remove partial patch mixed in with last commit

---
 includes/Title.php | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/includes/Title.php b/includes/Title.php
index aa912df911..028df68495 100644
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -1006,23 +1006,6 @@ class Title {
 		}
 		return false;
 	}
-
-	public function getUserPermissionsErrorPage( $action, $user, $doExpensiveQueries = true )
-	{
-		$errors = $this->getUserPermissionsErrors( $action, $user, $doExpensiveQueries );
-		$text = '';
-
-		$text .= $wgParser->parse( wfMsg('permissionserrorstext') );
-		$this->addHtml( '<ul class="permissions-errors">' . "\n" );
-
-		foreach( $errors as $error )
-		{
-			$this->addHtml( '<li>' );
-			$this->addWikiText( call_user_func_array( 'wfMsg', $error ) );
-			$this->addHtml( '</li>');
-		}
-		$this->addHtml( '</ul>' );
-	}
 	
  	/**
 	 * Can $wgUser perform $action on this page?
-- 
2.20.1