Merge "mediawiki.ui: Add @borderRadius variable to be used for inputs and buttons"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 18 Sep 2014 18:20:44 +0000 (18:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 18 Sep 2014 18:20:44 +0000 (18:20 +0000)
commited9ee169d0fe11e128d0dabbbf4082a18a23b615
tree5fd5681737b642a4f71e971c7c59cc937fa9f426
parent5274c976fd2a77ef1a556dc791f8d433a2c13779
parent3fc51055269a7b042f30b8e7fec5c1558ef3ace4
Merge "mediawiki.ui: Add @borderRadius variable to be used for inputs and buttons"
resources/src/mediawiki.ui/components/inputs.less