From: Krinkle <krinklemail@gmail.com>
Date: Mon, 16 Jun 2014 19:17:03 +0000 (+0000)
Subject: Revert "mediawiki.mixins: Add border-radius mixin"
X-Git-Tag: 1.31.0-rc.0~15363^2
X-Git-Url: https://git.cyclocoop.org/%7B%24admin_url%7Dcompta/operations/modifier.php?a=commitdiff_plain;h=0f83b2f9a82039db619f17068eb73069d2d622b9;p=lhc%2Fweb%2Fwiklou.git

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 3102f741fa..67e2f33e22 100644
--- 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;
-}