Merge "mediawiki.ui: Move remaining mixin to buttons.less; remove mixins.less"