Merge "mediawiki.ui: Update mw-ui-input padding/line-height to match OOUI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 22 Mar 2018 21:16:12 +0000 (21:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 22 Mar 2018 21:16:12 +0000 (21:16 +0000)
commite67ca3a31c929d15dcbf988fa582a9e9322c7e2a
treed2ba01ac669d1569b123bf7d5e6a5e411bdc0564
parent4db681a29d486c56d4dce8906c86636edbdd46d2
parent9d45c214cd805114f445e011ca6132818364759d
Merge "mediawiki.ui: Update mw-ui-input padding/line-height to match OOUI"