mediawiki.mixins: Add border-radius mixin
authorRob Moen <rmoen@wikimedia.org>
Thu, 22 May 2014 22:40:24 +0000 (15:40 -0700)
committerPhuedx <git@samsmith.io>
Mon, 16 Jun 2014 09:59:29 +0000 (09:59 +0000)
commit591ba359f283c5ab4ba1b2a0359a98692a3b204b
tree1f59838f75f9f21c0f0cbfa07d4e7a6bd9a61857
parentb2e807a42a8c71e9fdcade2a3451a3a320ef65fe
mediawiki.mixins: Add border-radius mixin

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