Page MenuHomePhabricator

Alias Special:MuteUser to Special:Mute
Closed, ResolvedPublicFeature

Description

Feature summary:

Alias Special:MuteUser to Special:Mute

Use case(s):

Special pages may include user as a direct object, when the user has the action done to them:

  • BlockUser is aliased to Block
  • Email is aliased to EmailUser
  • There are others that aren't, but probably should be, too.

Good first task

There's only a minor change required here to languages / messages / MessagesEn.php to add Special:MuteUser as an alias. It's literally a change to one line of code to add it to the array:

	'Mute'                       => [ 'Mute' ],

Currently at line 498 to:

	'Mute'                       => [ 'Mute' , 'MuteUser' ],

Event Timeline

Thank you for tagging this task with good first task for Wikimedia newcomers!

Newcomers often may not be aware of things that may seem obvious to seasoned contributors, so please take a moment to reflect on how this task might look to somebody who has never contributed to Wikimedia projects.

A good first task is a self-contained, non-controversial task with a clear approach. It should be well-described with pointers to help a completely new contributor, for example it should clearly point to the codebase URL and provide clear steps to help a contributor get set up for success. We've included some guidelines at https://phabricator.wikimedia.org/tag/good_first_task/ !

Thank you for helping us drive new contributions to our projects <3

Change #1276121 had a related patch set uploaded (by Gkm563; author: Gkm563):

[mediawiki/core@master] Add Special:MuteUser alias for Special:Mute

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

Hi, I have submitted a patch for this task:

https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1276121

Looking forward to feedback. Thank you!

Ayush8620 subscribed.

Submitted a patch for this task:
Review here

Change #1276285 had a related patch set uploaded (by Ayush8620; author: Ayush8620):

[mediawiki/core@master] Add Special:MuteUser alias for Special:Mute

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

Change #1276285 abandoned by Thiemo Kreuz (WMDE):

[mediawiki/core@master] Add Special:MuteUser alias for Special:Mute

Reason:

Sorry, the identical patch Ic5ed19c was a little bit earlier.

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

Change #1276121 merged by jenkins-bot:

[mediawiki/core@master] Add Special:MuteUser alias for Special:Mute

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

Gkm563 moved this task from Incoming to Completed on the RoadToWiki board.
Gkm563 added a subscriber: Ayush8620.

@Gkm563 - this task is closed, resolved. I can suggest another similar task if you like, though.

Gkm563 claimed their task. They are very likely aware that it is closed, resolved.