From 0f83b2f9a82039db619f17068eb73069d2d622b9 Mon Sep 17 00:00:00 2001 From: Krinkle Date: Mon, 16 Jun 2014 19:17:03 +0000 Subject: [PATCH] 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 --- resources/src/mediawiki.less/mediawiki.mixins.less | 6 ------ 1 file changed, 6 deletions(-) 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; -} -- 2.20.1