Last modified: 2014-08-28 18:37:52 UTC
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.
I think this has slipped through the cracks... this is fixed no? If not can you be clearer?
Seems to have been done by Matt in I5bd23434961497d49293956c92b46ab3a6f14a41.