Merge "Make Special:Contributions use OOUI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 25 Sep 2019 00:38:05 +0000 (00:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 25 Sep 2019 00:38:05 +0000 (00:38 +0000)
commit00e52d96addceb383baa25b9cd5b40b4fa61d9a8
tree371670e1dd5d0513e1aed1e9679ed472f4fa870e
parent28f9e6277efda6635c1a73122f047557d6a64edb
parent2bb8515286da99953c01ef2f754941e7a4943e5f
Merge "Make Special:Contributions use OOUI"