From 591ba359f283c5ab4ba1b2a0359a98692a3b204b Mon Sep 17 00:00:00 2001 From: Rob Moen Date: Thu, 22 May 2014 15:40:24 -0700 Subject: [PATCH] mediawiki.mixins: Add border-radius mixin Change-Id: Idb46dee0ac8a29d489ec7fb405f8a3149a729b3b --- resources/src/mediawiki.less/mediawiki.mixins.less | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/resources/src/mediawiki.less/mediawiki.mixins.less b/resources/src/mediawiki.less/mediawiki.mixins.less index 67e2f33e22..3102f741fa 100644 --- a/resources/src/mediawiki.less/mediawiki.mixins.less +++ b/resources/src/mediawiki.less/mediawiki.mixins.less @@ -78,3 +78,9 @@ -webkit-box-shadow: @value; // Android 2.3+, iOS 4.0.2-4.2, Safari 3-4 box-shadow: @value; // Chrome 6+, Firefox 4+, IE 9+, iOS 5+, Opera 10.50+ } + +.border-radius(@radius) { + -moz-border-radius: @radius; + -webkit-border-radius: @radius; + border-radius: @radius; +} -- 2.20.1