Tweak UI for main filtering entry point
authorpetarpetkovic <ppetkovic@wikimedia.org>
Mon, 18 Sep 2017 13:20:39 +0000 (15:20 +0200)
committerpetarpetkovic <ppetkovic@wikimedia.org>
Mon, 18 Sep 2017 13:20:39 +0000 (15:20 +0200)
commitfeefb51581574f3144786d7f935f34ccc947efed
treea1ca5385ed4fa54457bd335eb0cf407a6b536fc8
parent82caa6b8541b9fffa5256c70d4528872377b83e0
Tweak UI for main filtering entry point

- Change the hamburger icon to plus sign.
- Change the search bar input placeholder text to "Main filter menu".
- Adjust the font style of main entry point placeholder.
- Adjust the font style of the advanced filters label.

Bug: T175217
Change-Id: I24742b68ef8bfeb9f3f71d5dc8818464412ab3f2
languages/i18n/en.json
resources/Resources.php
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.mixins.less
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterTagMultiselectWidget.less
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterTagMultiselectWidget.js