Merge "Revert "mediawiki.mixins: Add border-radius mixin""