From: Rob Moen <rmoen@wikimedia.org>
Date: Thu, 22 May 2014 22:40:24 +0000 (-0700)
Subject: mediawiki.mixins: Add border-radius mixin
X-Git-Tag: 1.31.0-rc.0~15363^2~1
X-Git-Url: https://git.cyclocoop.org/%28%28?a=commitdiff_plain;h=591ba359f283c5ab4ba1b2a0359a98692a3b204b;p=lhc%2Fweb%2Fwiklou.git

mediawiki.mixins: Add border-radius mixin

Change-Id: Idb46dee0ac8a29d489ec7fb405f8a3149a729b3b
---

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;
+}