jenkins-bot has submitted this change and it was merged.
Change subject: Add 'deletedtext' right to "eliminator" user group on fawiki
......................................................................
Add 'deletedtext' right to "eliminator" user group on fawiki
Bug: T135370
Change-Id: I28ad090db20a9edd8e909ef9134e6dd1ebe8649f
---
M wmf-config/InitialiseSettings.php
1 file changed, 3 insertions(+), 2 deletions(-)
Approvals:
Thcipriani: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index b21a221..48bc177 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -7833,8 +7833,9 @@
'deleterevision' => true,
'mergehistory' => true,
'protect' => true,
- 'suppressredirect' => true
- ], // T87558
+ 'suppressredirect' => true,
+ 'deletedtext' => true
+ ], // T87558, T135370
],
'+fawikibooks' => [
'autopatrolled' => [ 'autopatrol' => true ], // T111024
--
To view, visit https://gerrit.wikimedia.org/r/288956
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I28ad090db20a9edd8e909ef9134e6dd1ebe8649f
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Urbanecm <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Thcipriani <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
