mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities
authorBartosz Dziewoński <matma.rex@gmail.com>
Tue, 22 Apr 2014 00:38:24 +0000 (02:38 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Tue, 22 Apr 2014 00:38:54 +0000 (02:38 +0200)
commit871875bed4b21e3b17d22046e121bf4e434b804b
tree097c1ecba48c68b4737310a39c1b132323ccb9b9
parenta5ee223cde679dece81f9c038e9fb43ddd937410
mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities

Very simple, very useful.

Change-Id: Icd3d992aaad3116fd09164e2e003619677d051bb
resources/src/mediawiki.less/mediawiki.mixins.less
resources/src/mediawiki.ui/mixins/utilities.less