widgets.TitleWidget: Use mediawiki.mixins `.box-sizing()`
authorVolker E <volker.e@wikimedia.org>
Fri, 25 Aug 2017 00:27:07 +0000 (17:27 -0700)
committerVolker E <volker.e@wikimedia.org>
Fri, 25 Aug 2017 00:27:07 +0000 (17:27 -0700)
commit1632075bac0ae22da2f545c3aa62a1479c66d3ce
tree78e6147503baca9dba8365bd28acae437cbeac86
parent722104940bd916457caa44afd347f42d6338548d
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