Merge "Special:Contributions: Use mediawiki.ui"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 29 Sep 2014 20:21:38 +0000 (20:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 29 Sep 2014 20:21:38 +0000 (20:21 +0000)
commit668f5fd58793f8a1b122d9b466576f68566f833f
treea02f0c903175675d85a13b2535e528077ce16780
parente737c3451ae5c158c0de4e755aaae2ac9c221317
parentbb132a3326692522c21f54f3047faaa1126ecf4e
Merge "Special:Contributions: Use mediawiki.ui"