From ec2ead58bb8871d8d8502ef2e6f072bbfa6727fe Mon Sep 17 00:00:00 2001
From: addshore <addshorewiki@gmail.com>
Date: Mon, 4 Aug 2014 09:43:50 +0100
Subject: [PATCH] Remove unused globals

These were missed in I4a87a7007f4adc2ab47be1207f1a04a5ccd31323

Change-Id: I1fc0435c1cd359a30cb1a9f5f07ebadd6e14bcf1
---
 includes/specials/SpecialExport.php | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/includes/specials/SpecialExport.php b/includes/specials/SpecialExport.php
index e4e4bfb3d2..38c52a0178 100644
--- a/includes/specials/SpecialExport.php
+++ b/includes/specials/SpecialExport.php
@@ -37,10 +37,6 @@ class SpecialExport extends SpecialPage {
 	}
 
 	public function execute( $par ) {
-		global $wgSitename, $wgExportAllowListContributors, $wgExportFromNamespaces;
-		global $wgExportAllowHistory, $wgExportMaxHistory, $wgExportMaxLinkDepth;
-		global $wgExportAllowAll;
-
 		$this->setHeaders();
 		$this->outputHeader();
 		$config = $this->getConfig();
-- 
2.20.1