Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge "HistoryPager: Add missing $tagFilter property"

Browse source
This commit is contained in:
jenkins-bot 2017-10-25 17:09:16 +00:00 committed by Gerrit Code Review
commit 919ad99da2
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
includes/actions/HistoryAction.php
View file

@ -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