From 1632075bac0ae22da2f545c3aa62a1479c66d3ce Mon Sep 17 00:00:00 2001 From: Volker E Date: Thu, 24 Aug 2017 17:27:07 -0700 Subject: [PATCH] widgets.TitleWidget: Use mediawiki.mixins `.box-sizing()` Using general `box-sizing()` mixin from mediawiki.mixins instead of decentral vendor prefixes. Change-Id: I844dc28a627dc984540e9a013dae188187c4f151 --- resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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; -- 2.20.1