Trevor Parscal has submitted this change and it was merged. Change subject: Some fixes to our jQuery UI skin for buttons ......................................................................
Some fixes to our jQuery UI skin for buttons The main idea here is making our skin not broken for button sets. PS2: Rebased to master to avoid dependency PS3: Removed trailing whitespace and fixed commit msg PS5: Reverting changes to the !importants since these may be necessary Change-Id: Ic05595c9ed5150dc63c3708d2411965c49d3cd40 --- M resources/jquery.ui/themes/vector/jquery.ui.button.css 1 file changed, 13 insertions(+), 9 deletions(-) Approvals: Robmoen: Looks good to me, but someone else must approve Trevor Parscal: Verified; Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/7147 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic05595c9ed5150dc63c3708d2411965c49d3cd40 Gerrit-PatchSet: 6 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Kaldari <[email protected]> Gerrit-Reviewer: Kaldari <[email protected]> Gerrit-Reviewer: Krinkle <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: Robmoen <[email protected]> Gerrit-Reviewer: Trevor Parscal <[email protected]> Gerrit-Reviewer: jenkins-bot Gerrit-Reviewer: raindrift <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
