Merge "RCFilters: Add an opt-out preference for filters on watchlist"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 5 Jun 2018 01:39:49 +0000 (01:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 5 Jun 2018 01:39:50 +0000 (01:39 +0000)
commit7793c8acc6d21c451cd5737fd6b98b1a7d9a5e00
tree53b979422ccdd8c0de54093feedeacc2767fa9ee
parentaa01aa994c7d4777ad9881a4fa04200dba5e4703
parent5b2dd85524a0a79d51d5e42e05c45b0ac105e389
Merge "RCFilters: Add an opt-out preference for filters on watchlist"
includes/DefaultSettings.php
includes/preferences/DefaultPreferencesFactory.php
includes/specials/SpecialWatchlist.php
languages/i18n/en.json
languages/i18n/qqq.json