Merge "RCFilters: define consistent interface in ChangesListFilterGroup"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Oct 2017 20:04:55 +0000 (20:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Oct 2017 20:04:55 +0000 (20:04 +0000)
commitd94c0484302f80cf30ef107b2fdb6b84293e1937
tree023f3df66eceff8d79f7b83561287027c1ed544d
parentd078503205bfe243420c33f99cee1b35c9466ad0
parentb31c87ab91b3e2bbb80d3b814953ea3790498c36
Merge "RCFilters: define consistent interface in ChangesListFilterGroup"
includes/specialpage/ChangesListSpecialPage.php