From: Volker E <volker.e@wikimedia.org>
Date: Fri, 25 Aug 2017 00:27:07 +0000 (-0700)
Subject: widgets.TitleWidget: Use mediawiki.mixins `.box-sizing()`
X-Git-Tag: 1.31.0-rc.0~2303^2
X-Git-Url: http://git.cyclocoop.org/%22.%20generer_url_ecrire%28%22sites_tous%22%2C%22%22%29.%20%22?a=commitdiff_plain;h=1632075bac0ae22da2f545c3aa62a1479c66d3ce;p=lhc%2Fweb%2Fwiklou.git

widgets.TitleWidget: Use mediawiki.mixins `.box-sizing()`

Using general `box-sizing()` mixin from mediawiki.mixins instead of
decentral vendor prefixes.

Change-Id: I844dc28a627dc984540e9a013dae188187c4f151
---

diff --git a/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less b/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less
index bbffe28920..2ac5d459c7 100644
--- a/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less
+++ b/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less
@@ -4,6 +4,7 @@
  * @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
  * @license The MIT License (MIT); see LICENSE.txt
  */
+@import 'mediawiki.mixins';
 
 .mw-widget-titleWidget-menu {
 	.mw-widget-titleOptionWidget {
@@ -16,9 +17,7 @@
 
 	&-withImages {
 		.mw-widget-titleOptionWidget {
-			-webkit-box-sizing: border-box;
-			-moz-box-sizing: border-box;
-			box-sizing: border-box;
+			.box-sizing( border-box );
 			min-height: 3.75em;
 			padding-left: 4.75em;