From 871875bed4b21e3b17d22046e121bf4e434b804b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= Date: Tue, 22 Apr 2014 02:38:24 +0200 Subject: [PATCH] mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities Very simple, very useful. Change-Id: Icd3d992aaad3116fd09164e2e003619677d051bb --- resources/src/mediawiki.less/mediawiki.mixins.less | 6 ++++++ resources/src/mediawiki.ui/mixins/utilities.less | 6 ------ 2 files changed, 6 insertions(+), 6 deletions(-) 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; -- 2.20.1