Addshore has uploaded a new change for review.
https://gerrit.wikimedia.org/r/151592
Change subject: Remove unused globals
......................................................................
Remove unused globals
These were missed in a previous commit
Change-Id: I1fc0435c1cd359a30cb1a9f5f07ebadd6e14bcf1
---
M includes/specials/SpecialExport.php
1 file changed, 0 insertions(+), 4 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/92/151592/1
diff --git a/includes/specials/SpecialExport.php
b/includes/specials/SpecialExport.php
index e4e4bfb..38c52a0 100644
--- a/includes/specials/SpecialExport.php
+++ b/includes/specials/SpecialExport.php
@@ -37,10 +37,6 @@
}
public function execute( $par ) {
- global $wgSitename, $wgExportAllowListContributors,
$wgExportFromNamespaces;
- global $wgExportAllowHistory, $wgExportMaxHistory,
$wgExportMaxLinkDepth;
- global $wgExportAllowAll;
-
$this->setHeaders();
$this->outputHeader();
$config = $this->getConfig();
--
To view, visit https://gerrit.wikimedia.org/r/151592
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I1fc0435c1cd359a30cb1a9f5f07ebadd6e14bcf1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Addshore <addshorew...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
