Merge "HistoryPager: Add missing $tagFilter property"

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 string */
+       private $tagFilter;
+
        /**
         * @param HistoryAction $historyPage
         * @param string $year