Move special pages added by translate extension to separate section in Special:SpecialPages
Closed, ResolvedPublic
Actions

Description

I proposed this at https://www.mediawiki.org/wiki/Topic:V1z20svmd5685v6k, and after over 2 weeks there has been no other comment. The extension adds over a dozen special pages, and moving them to a dedicated section would make it easier to access them

Details

Related Gerrit Patches:

mediawiki/extensions/Translate : master

Move special pages to dedicate group

Related Objects

Mentioned In: T228487: Move special pages added by TranslationNotifications extension to translation section in Special:SpecialPages

Event Timeline

DannyS712 created this task.Jul 7 2019, 12:50 AM

Restricted Application added a project: User-DannyS712. · View Herald TranscriptJul 7 2019, 12:50 AM

Restricted Application added a subscriber: Aklapper. · View Herald Transcript

Change 521021 had a related patch set uploaded (by DannyS712; owner: DannyS712):
[mediawiki/extensions/Translate@master] Move special pages to dedicate group

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

gerritbot added a project: Patch-For-Review.Jul 7 2019, 12:50 AM

DannyS712 moved this task from Unsorted to Awaiting review and deployment on the User-DannyS712 board.Jul 7 2019, 1:02 PM

Change 521021 merged by jenkins-bot:
[mediawiki/extensions/Translate@master] Move special pages to dedicate group

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

Maintenance_bot removed a project: Patch-For-Review.Jul 10 2019, 1:10 PM

ReleaseTaggerBot added a project: MW-1.34-notes (1.34.0-wmf.14; 2019-07-16).Jul 10 2019, 2:00 PM

Nikerabbit closed this task as Resolved.Jul 10 2019, 6:25 PM

DannyS712 moved this task from Awaiting review and deployment to Merged on the User-DannyS712 board.Jul 11 2019, 6:27 PM

DannyS712 mentioned this in T228487: Move special pages added by TranslationNotifications extension to translation section in Special:SpecialPages.Jul 19 2019, 4:03 AM