Merge "Special:Categories: Use mediawiki.ui classes and fix layout"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 26 Sep 2014 00:31:27 +0000 (00:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 26 Sep 2014 00:31:27 +0000 (00:31 +0000)
commit79564c1262881ecd394e09b27702ba0ee42a8410
treee72f2021cfc29706335d81aa952d66a506b745b6
parentfcf62b0965dd5ecfc4dee73e103e29bc5e2cc3e9
parent35eb9481a2e5eaa433b2726adc04e863f018cf40
Merge "Special:Categories: Use mediawiki.ui classes and fix layout"