mediawiki.mixins: Add `hyphens` mixin
authorVolker E <volker.e@wikimedia.org>
Thu, 22 Feb 2018 20:05:58 +0000 (12:05 -0800)
committerVolker E <volker.e@wikimedia.org>
Thu, 22 Feb 2018 20:05:58 +0000 (12:05 -0800)
commita0e9f4fe3a65f9edcf12685bf3f375ce6225292b
treefeb0c6a18107423d132e37f4d98a9c0affe61cb3
parent8624538de243da3779db5eb3362bedf78d2e2931
mediawiki.mixins: Add `hyphens` mixin

As `hyphens` values are used in various places now, with most
recent addition I1637ce3f5bddb we should add it in a central place.

Change-Id: I660f3ecd2a4669e8d5c8415990fa2e8a25aea32a
resources/src/mediawiki.less/mediawiki.mixins.less