Merge "MediaWiki UI: Adjustments to mw-ui-input"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Aug 2014 23:52:30 +0000 (23:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Aug 2014 23:52:30 +0000 (23:52 +0000)
commit6f02681dd82948e62831b3f6ac6df66145fbf98e
tree5f158492062d0c672ed0554e22949550c6ddbd1b
parent8f480da8c9fd6eea55f67e86b28fc4c1260d561f
parent1de1666028891579fbc75d87ae29f36e54f0807f
Merge "MediaWiki UI: Adjustments to mw-ui-input"
resources/src/mediawiki.ui/components/inputs.less