The mediawiki.ui button styling as copied to mediawiki.ui.button. There is a FIXME to remove it from mediawiki.ui after code has been updated to use mediawiki.ui.butotn if needed. However, I'm adding a bug for the same thing to make sure it doesn't slip through the cracks.
Version: unspecified
Severity: normal