Merge "Align to WikimediaUI themed widgets"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 25 Apr 2018 00:26:11 +0000 (00:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 25 Apr 2018 00:26:11 +0000 (00:26 +0000)
commit72886445ff1ecfc812b9335f5682fcb0434b0292
tree0c5feb43b999fbde8892f2625d7325a570fb03f1
parent77ea9b8a8d70d3309016bfd306f05b68c37d4409
parent7626edeedbb50a8de28caebe73df3da7a7bff0eb
Merge "Align to WikimediaUI themed widgets"