Merge "Actually assign suppression-related rights to 'suppress' group"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 30 Aug 2019 17:00:46 +0000 (17:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 30 Aug 2019 17:00:46 +0000 (17:00 +0000)
commit5264862bc1224fbb2eec487155aa0253af1fa777
tree652637bad34b3a20d45dfcfb2bbae8b2655702c6
parentd6130cac5dfe0dc00a26b3ffcae82b0b2af527c7
parent04de6eb88ac0ce4924ec831a227ddf9fcaf32117
Merge "Actually assign suppression-related rights to 'suppress' group"
includes/DefaultSettings.php