Merge "Sort 'MediaWiki' resources definitions alphabetically"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 19 Nov 2013 18:34:27 +0000 (18:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 19 Nov 2013 18:34:27 +0000 (18:34 +0000)
commitbb06573441014c75da0e3fec8aa927b7ebce8830
treea9566776550f6ad9cea373bd4d3d3ea2fb5b3a99
parent71681d2c94ee40db44dcc13837dbfa4098aff60f
parent5045dc0ef67fd97424f4e5606bf3dbe1d2eb3bb2
Merge "Sort 'MediaWiki' resources definitions alphabetically"
resources/Resources.php