From 8c5d8418538328449678150cd60d8aef53e59212 Mon Sep 17 00:00:00 2001
From: Sam Reed <reedy@users.mediawiki.org>
Date: Tue, 5 Jan 2010 22:53:00 +0000
Subject: [PATCH] Remove unused private "filterPage" function from
 specials/SpecialExport.php

Unused and private

Remove extra whitespace line also
---
 includes/specials/SpecialExport.php | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/includes/specials/SpecialExport.php b/includes/specials/SpecialExport.php
index bce2a102ac..b9a44d4837 100644
--- a/includes/specials/SpecialExport.php
+++ b/includes/specials/SpecialExport.php
@@ -275,8 +275,7 @@ class SpecialExport extends SpecialPage {
 			$lb->closeAll();
 		}
 	}
-	
-	
+
 	private function getPagesFromCategory( $title ) {
 		global $wgContLang;
 		
@@ -411,12 +410,5 @@ class SpecialExport extends SpecialPage {
 		}
 		return $pageSet;
 	}
-	
-	/**
-	 * Callback function to remove empty strings from the pages array.
-	 */
-	private function filterPage( $page ) {
-		return $page !== '' && $page !== null;
-	}
 }
 
-- 
2.20.1