Merge "RCFilters: Hide highlight containers when RCFilters is disabled"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Jun 2018 16:09:53 +0000 (16:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Jun 2018 16:09:53 +0000 (16:09 +0000)
commit93266c8d601ed91fda5ee7e1573d798905f9faaa
tree348e144e33b50d78dfdb2add1e58e71f9452cc12
parenta50f61009df774890ae33cc98d990139d7501d65
parentb4a12253e0b9394f13f7f6a7cf081a351ebcb75f
Merge "RCFilters: Hide highlight containers when RCFilters is disabled"