[MediaWiki-commits] [Gerrit] Case-insensitive sort repository list - change (mediawiki...ExtensionDistributor)
jenkins-bot has submitted this change and it was merged. Change subject: Case-insensitive sort repository list .. Case-insensitive sort repository list So extensions and skins that start with a lowercase first letter aren't dropped all the way to the bottom of the list. Bug: T137156 Change-Id: Id8a246a0fb42579d7426672a2f79ffa09ff78a4d --- M includes/specials/SpecialBaseDistributor.php 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Addshore: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/specials/SpecialBaseDistributor.php b/includes/specials/SpecialBaseDistributor.php index 5ffd3da..f4ba90f 100644 --- a/includes/specials/SpecialBaseDistributor.php +++ b/includes/specials/SpecialBaseDistributor.php @@ -108,6 +108,7 @@ ); $items = array( array( 'data' => '' ) ); + natcasesort( $repos ); foreach ( $repos as $name ) { $items[] = array( 'data' => $name ); } -- To view, visit https://gerrit.wikimedia.org/r/293046 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id8a246a0fb42579d7426672a2f79ffa09ff78a4d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/ExtensionDistributor Gerrit-Branch: master Gerrit-Owner: LegoktmGerrit-Reviewer: Addshore Gerrit-Reviewer: Chad Gerrit-Reviewer: Reedy Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Case-insensitive sort repository list - change (mediawiki...ExtensionDistributor)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/293046 Change subject: Case-insensitive sort repository list .. Case-insensitive sort repository list So extensions and skins that start with a lowercase first letter aren't dropped all the way to the bottom of the list. Bug: T137156 Change-Id: Id8a246a0fb42579d7426672a2f79ffa09ff78a4d --- M includes/specials/SpecialBaseDistributor.php 1 file changed, 1 insertion(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ExtensionDistributor refs/changes/46/293046/1 diff --git a/includes/specials/SpecialBaseDistributor.php b/includes/specials/SpecialBaseDistributor.php index 5ffd3da..f4ba90f 100644 --- a/includes/specials/SpecialBaseDistributor.php +++ b/includes/specials/SpecialBaseDistributor.php @@ -108,6 +108,7 @@ ); $items = array( array( 'data' => '' ) ); + natcasesort( $repos ); foreach ( $repos as $name ) { $items[] = array( 'data' => $name ); } -- To view, visit https://gerrit.wikimedia.org/r/293046 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Id8a246a0fb42579d7426672a2f79ffa09ff78a4d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/ExtensionDistributor Gerrit-Branch: master Gerrit-Owner: Legoktm___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits