Merge "Fix highlight display for enhanced mode"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 30 Aug 2017 19:05:16 +0000 (19:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 30 Aug 2017 19:05:16 +0000 (19:05 +0000)
commitb6b8526a04c072ed8a4b283f2c4ece8f4edda861
tree631fc4c085dfaffc695b39fb688d498c61744f18
parent01307cd6b5398551b370ca799795181e51becf57
parentc00ee215579ed7e40a6e54e9322b9f2add373aa7
Merge "Fix highlight display for enhanced mode"
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.ChangesListWrapperWidget.js