mediawiki.ui: Add @borderRadius variable to be used for inputs and buttons
authorPrateek Saxena <prtksxna@gmail.com>
Thu, 18 Sep 2014 15:51:03 +0000 (08:51 -0700)
committerPrateek Saxena <prtksxna@gmail.com>
Thu, 18 Sep 2014 17:05:51 +0000 (10:05 -0700)
commit3fc51055269a7b042f30b8e7fec5c1558ef3ace4
tree0f87f54f52773c45b6225e667fae91e0a5a2428d
parent07f60f25af217a3c619ee8ea270707188bc41d77
mediawiki.ui: Add @borderRadius variable to be used for inputs and buttons

Bug: 70916
Change-Id: I2102033ae5faa16367ddd4cbb879fdc62b4ca0b0
resources/src/mediawiki.less/mediawiki.ui/variables.less
resources/src/mediawiki.ui/components/buttons.less
resources/src/mediawiki.ui/components/inputs.less