HistoryPager: Add missing $tagFilter property
authoraddshore <addshorewiki@gmail.com>
Wed, 25 Oct 2017 09:04:25 +0000 (10:04 +0100)
committerLegoktm <legoktm@member.fsf.org>
Wed, 25 Oct 2017 17:00:46 +0000 (17:00 +0000)
commit3f18fe3f4680709166e09f308fd9e56aff6f48aa
treea576d4671ffc139856e32f11400a58c9f22daf5b
parent433d2480f994932162da94b857e1d297d59cd4c8
HistoryPager: Add missing $tagFilter property

Change-Id: Iec2d944d5583eb13fa9383c0a6a183b550f60aab
includes/actions/HistoryAction.php