"group-flood": "Bot users",
"group-flood-member": "{{GENDER:$1|bot user}}",
"grouppage-flood": "{{ns:project}}:Bot users",These are terrible IMHO, and confusing with the 'bot' group.
I propose to rename them to 'pseudobot' (https://en.wikipedia.org/wiki/Pseudo-) as we've done in es.json
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| Rename 'bot users' to 'pseudobots' | mediawiki/extensions/WikimediaMessages | master | +3 -3 |
Change 392806 had a related patch set (by MarcoAurelio) published:
[mediawiki/extensions/WikimediaMessages@master] Rename 'bot users' to 'pseudobots'
https://gerrit.wikimedia.org/r/392806
Change 392806 merged by jenkins-bot:
[mediawiki/extensions/WikimediaMessages@master] Rename 'bot users' to 'pseudobots'
https://gerrit.wikimedia.org/r/392806
@Johan No, sorry. Bot flags and 'bot users' are different. It should be more simpler, like "the previously called 'bot users' group (a.k.a. flood flags on some wikis) has been renamed to 'pseudobots' for clarity - wikis can still customize their naming locally" or something along those lines.
Removing User-notice : it's just a subtle change and the MediaWiki messages (Grouppage-flood, etc.) remain unchanged, so local customizations, if they exist, will be kept so no to very little impact here.