Last modified: 2014-08-17 11:07:16 UTC
Core now has mediawiki.ui.button with the one true set of Agora button styles, so Flow's local overrides aren't needed. Matthias had a patch, which I'll update.
Change 113066 had a related patch set uploaded by Spage: Remove Flow's mw-ui-button overrides https://gerrit.wikimedia.org/r/113066
Change 113066 merged by jenkins-bot: Remove Flow's mw-ui-button overrides https://gerrit.wikimedia.org/r/113066
All patches mentioned in this report are either merged or abandoned - is there more work left to do here (if yes: please reset the bug report status to NEW or ASSIGNED), or can you close this ticket as RESOLVED FIXED?
No reply to comment 3 - assuming this bug is FIXED. If that is not the case: Please reopen and elaborate what is left to do here to get this report fixed.