Merge "HistoryPager: Add missing $tagFilter property"