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

diff --git a/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less b/resources/src/mediawiki.widgets/mw.widgets.TitleWidget.less
index bbffe28..2ac5d45 100644 (file)
--- 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;