Revert "mediawiki.mixins: Add border-radius mixin"

Prefixes for border-radius haven't been needed in a long time. This
degrades gracefully and isn't worth the overhead.

In addition, only a few weeks ago did we merge commits that removed all
this prefixes (e.g. in Ie5ce3202b4). Adding this mixin would encourage
doing the reverse.

This reverts commit 591ba359f283c5ab4ba1b2a0359a98692a3b204b.

Change-Id: Ic25a001de3fe1516cc4939b3159e362e87cb790b

diff --git a/resources/src/mediawiki.less/mediawiki.mixins.less b/resources/src/mediawiki.less/mediawiki.mixins.less
index 3102f74..67e2f33 100644 (file)
--- a/resources/src/mediawiki.less/mediawiki.mixins.less
+++ b/resources/src/mediawiki.less/mediawiki.mixins.less
@@ -78,9 +78,3 @@
        -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;
-}