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 67e2f33..3102f74 100644 (file)
--- 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;
+}