jenkins-bot has submitted this change and it was merged.
Change subject: Remove unneeded SpecialPageFactory::setGroup
......................................................................
Remove unneeded SpecialPageFactory::setGroup
override of SpecialPage::getGroupName already exists
Change-Id: I98e9cbfd4ae0a28b7a3cd5d3980876f0f2f9a841
---
M SpecialPureWikiDeletion.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/SpecialPureWikiDeletion.php b/SpecialPureWikiDeletion.php
index 57bee55..b2316aa 100644
--- a/SpecialPureWikiDeletion.php
+++ b/SpecialPureWikiDeletion.php
@@ -17,7 +17,6 @@
$this->namespaces = $wgContentNamespaces;
parent::__construct( $name );
- SpecialPageFactory::setGroup( 'RandomExcludeBlank','redirects'
);
}
// select redirects instead of normal pages?
--
To view, visit https://gerrit.wikimedia.org/r/220817
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I98e9cbfd4ae0a28b7a3cd5d3980876f0f2f9a841
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PureWikiDeletion
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
