jenkins-bot has submitted this change and it was merged.
Change subject: Remove unneeded $wgSpecialPageGroups
..
Remove unneeded $wgSpecialPageGroups
Override of SpecialPage::getGroupName already exists
Change-Id:
Legoktm has uploaded a new change for review.
https://gerrit.wikimedia.org/r/211438
Change subject: Remove unneeded $wgSpecialPageGroups
..
Remove unneeded $wgSpecialPageGroups
Override of SpecialPage::getGroupName already
Umherirrender has uploaded a new change for review.
https://gerrit.wikimedia.org/r/211201
Change subject: Remove unneeded $wgSpecialPageGroups
..
Remove unneeded $wgSpecialPageGroups
override of SpecialPage::getGroupName
jenkins-bot has submitted this change and it was merged.
Change subject: Remove unneeded $wgSpecialPageGroups
..
Remove unneeded $wgSpecialPageGroups
Override of SpecialPage::getGroupName already exists
Change-Id: