[MediaWiki-commits] [Gerrit] mediawiki...UserExport[master]: Use SpecialPage::getGroupName
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/348274 ) Change subject: Use SpecialPage::getGroupName .. Use SpecialPage::getGroupName $wgSpecialPageGroups was removed in 1.26 Chan
[MediaWiki-commits] [Gerrit] mediawiki...UserExport[master]: Use SpecialPage::getGroupName
Umherirrender has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/348274 ) Change subject: Use SpecialPage::getGroupName .. Use SpecialPage::getGroupName $wgSpecialPageGroups was removed in 1.26 Change-Id: