Page MenuHomePhabricator

Remove custom user groups from Wikinews (in core-Permissions.php)
Closed, ResolvedPublic

Description

Once Wikinews is closed custom user groups should be removed from core-Permissions.php after they are depopulated. This is also one step towards T139246: Migrate local group names to WikimediaMessages.

Details

Event Timeline

Change #1281491 had a related patch set uploaded (by Zabe; author: Zabe):

[operations/mediawiki-config@master] Remove custom user groups from Wikinews

https://gerrit.wikimedia.org/r/1281491

Note before that is deployed we should make sure user groups have no member.

If a group is already removed from the wiki then it can not be emptied from wiki. We need to run emptyUserGroup.php to empty them. (All user groups, include built-in ones, should be emptied.)

Change #1281491 merged by jenkins-bot:

[operations/mediawiki-config@master] Remove custom user groups from Wikinews

https://gerrit.wikimedia.org/r/1281491

Mentioned in SAL (#wikimedia-operations) [2026-05-11T15:50:51Z] <zabe@deploy1003> Started scap sync-world: Backport for [[gerrit:1281491|Remove custom user groups from Wikinews (T423578)]]

Mentioned in SAL (#wikimedia-operations) [2026-05-11T15:52:34Z] <zabe@deploy1003> zabe: Backport for [[gerrit:1281491|Remove custom user groups from Wikinews (T423578)]] synced to the testservers (see https://wikitech.wikimedia.org/wiki/Mwdebug). Changes can now be verified there.

Mentioned in SAL (#wikimedia-operations) [2026-05-11T15:58:39Z] <zabe@deploy1003> Finished scap sync-world: Backport for [[gerrit:1281491|Remove custom user groups from Wikinews (T423578)]] (duration: 07m 48s)