Merge "Remove unused function: isStructuredFilterUiEnabledByDefault"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 3 Oct 2018 18:01:30 +0000 (18:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 3 Oct 2018 18:01:30 +0000 (18:01 +0000)
commitb48174c3a8d57c0467a2968cc8268c93bf55b9d1
tree2842148d7a9336a61ded1e97fa1c99c3a4242627
parentb42bdd1b92e3cfc9ef81772e44b14f6fbdccbcba
parentf52d16148ed04400ffd26705f22dc61fcb6ef132
Merge "Remove unused function: isStructuredFilterUiEnabledByDefault"