Merge "RCFilters: Hide 'reload watchlist automatically' setting if RCFilters is enabled"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Mar 2018 19:59:46 +0000 (19:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Mar 2018 19:59:46 +0000 (19:59 +0000)
commit969293ba563c007832c439bb56f584ea201ffc24
treea078c831122c18edc2e0fda43915d123206b3eb5
parent1ef3e79ea405a8be28ed269e0ee64ae9d5ea6027
parentd13b22c4742922a4e3b7f29d73cfceb48bee4e08
Merge "RCFilters: Hide 'reload watchlist automatically' setting if RCFilters is enabled"