Remove unused globals

These were missed in I4a87a7007f4adc2ab47be1207f1a04a5ccd31323

Change-Id: I1fc0435c1cd359a30cb1a9f5f07ebadd6e14bcf1

diff --git a/includes/specials/SpecialExport.php b/includes/specials/SpecialExport.php
index e4e4bfb..38c52a0 100644 (file)
--- 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();