RCFilters: Add edit tags drop down
authorMoriel Schottlender <moriel@gmail.com>
Mon, 29 May 2017 15:04:35 +0000 (18:04 +0300)
committerCatrope <roan@wikimedia.org>
Thu, 15 Jun 2017 19:33:34 +0000 (19:33 +0000)
commit7725c755867ac19af417dcb66fe66d0e8d3f6f9a
tree052577ddc1908f7c4d62572a98d75d99898e2757
parent51ce88abb96a76f92a587163618da55997a63301
RCFilters: Add edit tags drop down

Fetches the tags from the wiki and displays them as additional
filters for RCFilters.

Bug: T159942
Bug: T161650
Bug: T164130
Change-Id: I7bfa99cd5aeb34b6c7de74c15aac158ee40eac2f
12 files changed:
includes/changetags/ChangeTags.php
includes/specials/SpecialRecentchanges.php
languages/i18n/en.json
languages/i18n/qqq.json
resources/Resources.php
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FiltersViewModel.js
resources/src/mediawiki.rcfilters/mw.rcfilters.Controller.js
resources/src/mediawiki.rcfilters/mw.rcfilters.init.js
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterWrapperWidget.less
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterTagMultiselectWidget.js
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterWrapperWidget.js
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FormWrapperWidget.js