WLFilters: fix server-side tag filtering
authorStephane Bisson <sbisson@wikimedia.org>
Wed, 30 Aug 2017 15:31:41 +0000 (11:31 -0400)
committerStephane Bisson <sbisson@wikimedia.org>
Thu, 31 Aug 2017 10:34:29 +0000 (06:34 -0400)
commit467fbef034601ed172cbc643a633c18e5f69a2b6
tree7c37e8c4e90395cf40e74c41c6c9f85d69052a8d
parentaf28f35696ce2d50bdc0cf62af3ceaf524dc8c68
WLFilters: fix server-side tag filtering

Tag filtering was enabled in the UI but the
backend was not properly wired for it.

Change-Id: I1c50b67b0a4aaddb561e79fdacd9849ffe0ded8c
includes/specialpage/ChangesListSpecialPage.php
includes/specials/SpecialRecentchanges.php
includes/specials/SpecialWatchlist.php