HistoryPager: Add missing $tagFilter property

[lhc/web/wiklou.git] / includes / actions / HistoryAction.php

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