From: Bartosz Dziewoński <matma.rex@gmail.com>
Date: Tue, 22 Apr 2014 00:38:24 +0000 (+0200)
Subject: mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities
X-Git-Tag: 1.31.0-rc.0~15874^2
X-Git-Url: http://git.cyclocoop.org/%40spipnet%40?a=commitdiff_plain;h=871875bed4b21e3b17d22046e121bf4e434b804b;p=lhc%2Fweb%2Fwiklou.git

mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities

Very simple, very useful.

Change-Id: Icd3d992aaad3116fd09164e2e003619677d051bb
---

diff --git a/resources/src/mediawiki.less/mediawiki.mixins.less b/resources/src/mediawiki.less/mediawiki.mixins.less
index 36f1bd44ff..6556af9991 100644
--- a/resources/src/mediawiki.less/mediawiki.mixins.less
+++ b/resources/src/mediawiki.less/mediawiki.mixins.less
@@ -64,3 +64,9 @@
 	-webkit-transition: @string;
 	transition: @string;
 }
+
+.box-sizing(@value) {
+	-moz-box-sizing: @value;
+	-webkit-box-sizing: @value;
+	box-sizing: @value;
+}
diff --git a/resources/src/mediawiki.ui/mixins/utilities.less b/resources/src/mediawiki.ui/mixins/utilities.less
index a201a4e7b4..3d7b73245e 100644
--- a/resources/src/mediawiki.ui/mixins/utilities.less
+++ b/resources/src/mediawiki.ui/mixins/utilities.less
@@ -1,9 +1,3 @@
-.box-sizing(@value) {
-	-moz-box-sizing: @value;
-	-webkit-box-sizing: @value;
-	box-sizing: @value;
-}
-
 .agora-flush-left() {
 	float: left;
 	margin-left: 0;