HistoryPager: Add missing $tagFilter property

Change-Id: Iec2d944d5583eb13fa9383c0a6a183b550f60aab

diff --git a/includes/actions/HistoryAction.php b/includes/actions/HistoryAction.php
index fe84852..a9a504d 100644 (file)
--- a/includes/actions/HistoryAction.php
+++ b/includes/actions/HistoryAction.php
@@ -385,6 +385,9 @@ class HistoryPager extends ReverseChronologicalPager {
        /** @var bool Whether to show the tag editing UI */
        protected $showTagEditUI;
 
        /** @var bool Whether to show the tag editing UI */
        protected $showTagEditUI;
 

+       /** @var string */
+       private $tagFilter;
+

        /**
         * @param HistoryAction $historyPage
         * @param string $year
        /**
         * @param HistoryAction $historyPage
         * @param string $year