Merge "Sort MediaWikiServices and ServiceWiring alphabetically"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 10 Apr 2019 11:37:06 +0000 (11:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 10 Apr 2019 11:37:06 +0000 (11:37 +0000)
commitc51e4e24ef4ce5a1ef9933fd20266e75a758027f
tree5cac6c5cfc57be14dec1486bfae12b1f759f5f7d
parent79e1a48365d30b95884a8ce2f2efe3970e98ccf1
parent421b4258b5c02375448c9a7d958ede71bf473929
Merge "Sort MediaWikiServices and ServiceWiring alphabetically"