Merge "Preferences: Sort list of skins by internal name"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 8 Dec 2017 02:20:27 +0000 (02:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 8 Dec 2017 02:20:28 +0000 (02:20 +0000)
commitc4c11722253fc6b5bb8fb023c7f7982664cb4107
tree7dd448661536afa9d988e9d2b2ce7f1ce286b696
parentc529787b553ef2515e30cdda6fd5e334c62db432
parent737e7f9bc94b8dcbfe5f3a1671d56ed27fe1a597
Merge "Preferences: Sort list of skins by internal name"