Last modified: 2013-07-18 21:45:09 UTC
https://github.com/wikimedia/mediawiki-core/blob/master/resources/jquery.ui/themes/vector/jquery.ui.button.css (.ui-button-icon-only, .ui-button-icons-only) redundant, follow-up of Bug 48593
Change 74412 had a related patch set uploaded by Rillke: Removing redundant styles for icon-only buttons https://gerrit.wikimedia.org/r/74412
Change 74412 merged by jenkins-bot: Removing redundant styles for icon-only buttons https://gerrit.wikimedia.org/r/74412