Merge "RCFilters: Make extra filters footer non-sticky"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 Jun 2017 19:14:08 +0000 (19:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 Jun 2017 19:14:09 +0000 (19:14 +0000)
commit512a187a2f58b020fb866f0fdc5703091f9e47e3
tree5cfb1dee8d595d5bb1bf16e6c5bf6ccdd38f206e
parent9e834ecda709e800006613ef09b29aa824f5e94d
parent7e1fe88494d105d38c9fcce2a2e3a0bd523eff54
Merge "RCFilters: Make extra filters footer non-sticky"
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.MenuSelectWidget.js