Page MenuHomePhabricator

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

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 : masterMove special pages to dedicate group

Event Timeline

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

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

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

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