Code Coverage for /workspace/src/extensions/AbuseFilter/includes/Filter/HistoryFilter.php

1	<?php
2
3	namespace MediaWiki\Extension\AbuseFilter\Filter;
4
5	/**
6	* Variant of ExistingFilters for past versions of filters
7	*/
8	class HistoryFilter extends ExistingFilter {
9	/** @var int */
10	private $historyID;
11
12	/**
13	* @param Specs $specs
14	* @param Flags $flags
15	* @param array[]\|callable():array[] $actions Array with params or callable that will return them
16	* @param LastEditInfo $lastEditInfo
17	* @param int $id
18	* @param int $historyID
19	*/
20	public function __construct(
21	Specs $specs,
22	Flags $flags,
23	$actions,
24	LastEditInfo $lastEditInfo,
25	int $id,
26	int $historyID
27	) {
28	parent::__construct( $specs, $flags, $actions, $lastEditInfo, $id );
29	$this->historyID = $historyID;
30	}
31
32	public function getHistoryID(): int {
33	return $this->historyID;
34	}
35	}