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
Description
Description
Details
Details
Related Gerrit Patches:
mediawiki/extensions/Translate : master | Move special pages to dedicate group |
Related Objects
Related Objects
Event Timeline
Comment Actions
Change 521021 had a related patch set uploaded (by DannyS712; owner: DannyS712):
[mediawiki/extensions/Translate@master] Move special pages to dedicate group
Comment Actions
Change 521021 merged by jenkins-bot:
[mediawiki/extensions/Translate@master] Move special pages to dedicate group