HistoryPager: Add missing $tagFilter property