Merge "RCFilters: Add edit tags drop down"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 15 Jun 2017 19:58:10 +0000 (19:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 15 Jun 2017 19:58:10 +0000 (19:58 +0000)
commitcc2a0190e7e9d0f4a5565ccec7316cd35fa46cab
tree7551c103edff8e7346abafe8136485a47fdef96b
parent78dc9ac0fa12ef8025d9341360e32db9c224cb12
parent7725c755867ac19af417dcb66fe66d0e8d3f6f9a
Merge "RCFilters: Add edit tags drop down"
languages/i18n/en.json
languages/i18n/qqq.json
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FormWrapperWidget.js