Page MenuHomePhabricator

Mixed capitalization extension names in confusing order in ExtensionDistributor
Closed, ResolvedPublic

Description

At https://www.mediawiki.org/wiki/Special:ExtensionDistributor
the final 8 extensions in the dropdown list are in a confusing order, due to lower-case capitalization. (cldr, examples, googleAnalytics, intersection, normal, skins, timeline, wikihiero)

Is it possible to easily resolve this? Either by renaming the official title of the extension, or changing the ExtensionDistributor default sort-order to ignore capitalization, or something else?

Details

Related Gerrit Patches:
mediawiki/extensions/ExtensionDistributor : masterCase-insensitive sort repository list

Event Timeline

Quiddity created this task.Jun 6 2016, 9:58 PM
Restricted Application added subscribers: Zppix, Aklapper. · View Herald TranscriptJun 6 2016, 9:58 PM

Change 293046 had a related patch set uploaded (by Legoktm):
Case-insensitive sort repository list

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

Legoktm claimed this task.Jun 6 2016, 10:37 PM

Change 293046 merged by jenkins-bot:
Case-insensitive sort repository list

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

Legoktm closed this task as Resolved.Jun 23 2016, 10:18 AM